11 citations · 19 across the 5 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
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…