2 papers
cs.SE2026
Leaf: An Instrumentation-based Dynamic Analysis Framework for Rust
Mohammad Omidvar Tehrani, Marco Gaboardi, Nick Sumner +1
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…
cs.CR2026
RustMizan: A Compilable, Contamination-Aware Benchmarking Framework for Rust Vulnerabilities
Tarek Elsayed, Shiping Yang, Eunsong Koh +13
LLM agents are increasingly applied to vulnerability analysis, but existing benchmarks have not kept pace. They typically rely on small non-compilable snippets, focus on binary cla…