2 papers
cs.SE2026
Leaf: An Instrumentation-based Dynamic Analysis Framework for Rust
Mohammad Omidvar Tehrani, Marco Gaboardi, Nick Sumner +1
LEAF is a Rust-native framework that instruments compiled Rust code to capture MIR-level semantics and provide them as an event stream for dynamic analyses such as concolic executi…
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…