279 citations · 1.1k across the 46 of their papers we have counts for
1 paper · 1 filter
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…