TY - RPRT TI - Leaf: An Instrumentation-based Dynamic Analysis Framework for Rust AU - Mohammad Omidvar Tehrani AU - Marco Gaboardi AU - Nick Sumner AU - Steven Y. Ko PY - 2026 UR - https://arxiv.org/abs/2607.15025 ID - 2607.15025 ER -