BAP: A Binary Analysis Platform
Abstract elided by the publisher.
Related papers
- IsaBIL: A Framework for Verifying (In)correctness of Binaries in Isabelle/HOL ECOOP 2025
- Jakstab: A Static Analysis Platform for Binaries CAV 2008
- BIRD: Binary Interpretation using Runtime Disassembly CGO 2006
- A Hotspot-Driven Semi-automated Competitive Analysis Framework for Identifying Compiler Key Optimizations CC 2023
- Cinnamon: A Domain-Specific Language for Binary Profiling and Monitoring CGO 2021
- BDA: practical dependence analysis for binary executables by unbiased whole-program path sampling and per-path abstract interpretation OOPSLA 2019
- HeapBuffers: Why Not Just Using a Binary Serialization Format for Your Managed Memory? OOPSLA 2025
- Lazy binary-splitting: a run-time adaptive work-stealing scheduler PPoPP 2010