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…