Leaf: An Instrumentation-Based Dynamic Analysis Framework for Rust

arXiv·medium signal

LEAF is a Rust-native, general-purpose dynamic analysis framework that instruments programs to support varied runtime analyses, filling a notable gap in Rust's still-early tooling landscape. It exploits Rust's rich semantic information (ownership, types) available through the compiler to drive instrumentation. Useful for systems engineers building profilers, sanitizers, or custom runtime checks on Rust codebases.