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…