Leaf: An Instrumentation-based Dynamic Analysis Framework for Rust

• URL: http://arxiv.org/abs/2607.15025v1
• Date: Thu, 16 Jul 2026 14:12:10 GMT
• Title: Leaf: An Instrumentation-based Dynamic Analysis Framework for Rust
• Abstract summary: LEAF is an instrumentation-based dynamic analysis framework for Rust.<n>It provides a Rust-native framework for analyzing Rust programs at runtime.<n>Our evaluation shows that LEAF's compile-time and runtime overhead is meaningful but manageable.
• Score: 3.5410910891882668
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: This paper presents LEAF, an instrumentation-based dynamic analysis framework for Rust. Although Rust has grown rapidly in recent years, the landscape of program analysis tools for Rust is still in relatively early stages. One notable gap is the lack of a general-purpose dynamic analysis framework that can support different analysis tasks. LEAF aims to fill this gap by providing a Rust-native framework for analyzing Rust programs at runtime. Rust provides rich semantic information through its ownership model, type system, memory model, and compiler-level representation. Therefore, LEAF focuses on how to make this information available to dynamic analyses. In particular, LEAF captures MIR-level semantic information, augments it with runtime facts, and delivers it to analyses as an event stream through Dynamic MIR (DMIR), an event-driven programming interface. Through three substantial dynamic analyses -- a concolic executor, a Rust-specific sanitizer, and a control-flow tracer -- we demonstrate the practicality and expressiveness of LEAF. Our evaluation further shows that LEAF's compile-time and runtime overhead is meaningful but manageable.

Related papers

• OFlow: Injecting Object-Aware Temporal Flow Matching for Robust Robotic Manipulation [55.56490813640669]
  VLA models typically act only on the current frame, while future prediction and object-aware reasoning are often learned in separate latent spaces.<n>We propose OFlow, a framework that addresses both limitations by unifying temporal foresight and object-aware reasoning in a shared semantic latent space.<n>Our method forecasts future latents with temporal flow matching, factorizes them into object-aware representations that emphasize physically relevant cues.
  arXiv  Detail & Related papers  (2026-04-20T06:38:01Z)
• Supporting the Comprehension of Data Analysis Scripts [0.39146761527401425]
  FlowR is an extension for Positron and VS Code to handle data analysis scripts.<n>It incrementally analyzes R projects by intertwining interprocedural data- and control-flow analyses.<n>It offers a plugin system and interfaces, allowing the integration of further analyses, such as new linting rules or custom visualizations.
  arXiv  Detail & Related papers  (2026-04-17T11:28:49Z)
• Dynamic analysis enhances issue resolution [53.50448142467294]
  DAIRA (Dynamic Analysis-enhanced Issue Resolution Agent) is an automated repair framework that embeds dynamic analysis into the agent's reasoning cycle.<n> Driven by a Test Tracing-Driven methodology, DAIRA utilizes lightweight monitors to extract critical runtime data.<n>When powered by Gemini 3 Flash Preview, DAIRA establishes a new state-of-the-art (SOTA) performance, achieving a 79.4% resolution rate on the SWE-bench Verified dataset.
  arXiv  Detail & Related papers  (2026-03-23T14:48:54Z)
• ForgeryVCR: Visual-Centric Reasoning via Efficient Forensic Tools in MLLMs for Image Forgery Detection and Localization [62.03035862528452]
  ForgeryVCR is a framework that materializes imperceptible traces into explicit visual intermediates via Visual-Centric Reasoning.<n>ForgeryVCR achieves state-of-the-art (SOTA) performance in both detection and localization tasks.
  arXiv  Detail & Related papers  (2026-02-15T11:14:47Z)
• Context-Sensitive Pointer Analysis for ArkTS [6.644274726474323]
  Existing static analysis tools for ArkTS struggle to achieve effective tracking and precise deduction of object reference relationships.<n>We propose ArkAnalyzer Pointer Analysis Kit (APAK), the first context-sensitive pointer analysis framework specifically designed for ArkTS.<n>APAK addresses these challenges through a unique ArkTS heap object model and a highly plugin architecture.
  arXiv  Detail & Related papers  (2026-01-31T02:12:30Z)
• AgentLongBench: A Controllable Long Benchmark For Long-Contexts Agents via Environment Rollouts [78.33143446024485]
  We introduce textbfAgentLongBench, which evaluates agents through simulated environment rollouts based on Lateral Thinking Puzzles.<n>This framework generates rigorous interaction trajectories across knowledge-intensive and knowledge-free scenarios.
  arXiv  Detail & Related papers  (2026-01-28T16:05:44Z)
• TAAF: A Trace Abstraction and Analysis Framework Synergizing Knowledge Graphs and LLMs [3.2839783281320085]
  This paper introduces TAAF (Trace Abstraction and Analysis Framework), a novel approach to transform raw trace data into actionable insights.<n>An LLM interprets query-specific subgraphs to answer natural-language questions, reducing the need for manual inspection.<n>Experiments show that TAAF improves answer accuracy by up to 31.2%, particularly in multi-hop and causal reasoning tasks.
  arXiv  Detail & Related papers  (2026-01-06T01:04:05Z)
• InspectCoder: Dynamic Analysis-Enabled Self Repair through interactive LLM-Debugger Collaboration [71.18377595277018]
  Large Language Models (LLMs) frequently generate buggy code with complex logic errors that are challenging to diagnose.<n>We present InspectCoder, the first agentic program repair system that empowers LLMs to actively conduct dynamic analysis via interactive debugger control.
  arXiv  Detail & Related papers  (2025-10-21T06:26:29Z)
• CoT-RVS: Zero-Shot Chain-of-Thought Reasoning Segmentation for Videos [59.391265901911005]
  We propose CoT-RVS, a novel framework employing the zero-shot Chain-of-Thought (CoT) capability of MLLM to address complex challenges by temporal-semantic reasoning.<n>CoT-RVS analyzes the visible objects within a given frame that possibly match the language query (semantic), and chooses a corresponding for each object that can be observed effortlessly among all frames (temporal)<n>Our framework's training-free feature further allows its extension to process online video streams, where the CoT is used at test time to update the object of interest when a better target starts to emerge
  arXiv  Detail & Related papers  (2025-05-24T07:01:31Z)
• Semantic-Enhanced Indirect Call Analysis with Large Language Models [14.517268546437917]
  This paper proposes Semantic-Enhanced Analysis (SEA) to enhance the effectiveness of indirect call analysis. For common programming practices, indirect calls often exhibit semantic similarity with their invoked targets. SEA generates natural language summaries of both indirect calls and target functions from multiple perspectives.
  arXiv  Detail & Related papers  (2024-08-08T10:04:50Z)
• Static Code Analysis with CodeChecker [0.0]
  CodeChecker is an open source project that integrates different static analysis tools. It has a powerful issue management system to make it easier to evaluate the reports of the static analysis tools.
  arXiv  Detail & Related papers  (2024-08-05T03:48:16Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.