@misc{indiciae120fbc0b170e,
  title = {Leaf: An Instrumentation-based Dynamic Analysis Framework for Rust},
  author = {Mohammad Omidvar Tehrani and Marco Gaboardi and Nick Sumner and Steven Y. Ko},
  year = {2026},
  url = {https://arxiv.org/abs/2607.15025},
  note = {Source identifier: 2607.15025}
}