BAP: A Binary Analysis Platform
By David Brumley, Ivan Jager, Thanassis Avgerinos, Edward J. Schwartz. International Conference on Computer Aided Verification, 2011
503 citations recorded by the source corpus.
Subfields: Computational Theory and Mathematics, Software, Signal Processing
View Paper: https://www.semanticscholar.org/paper/ab5173f60ab8d5bd92ab71c574efdbc8811248ca
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Computational Theory and Mathematics
- Sanjit A. Seshia
- Manuel Costa
- Rohit Sinha
- David Brumley
- Sriram K. Rajamani
- Kapil Vaswani
- Thanassis Avgerinos
- Alexandre Rebert
In Software
- Sanjit A. Seshia
- Rohit Sinha
- David Brumley
- Sriram K. Rajamani
- Thanassis Avgerinos
- Alexandre Rebert
- Sang Kil Cha
- Thomas Ball
In Signal Processing
- Sanjit A. Seshia
- Rohit Sinha
- Sriram K. Rajamani
- Sang Kil Cha
- Thanassis Avgerinos
- Manuel Costa
- David Brumley
- Kapil Vaswani
Citations in the corpus
- Unleashing Mayhem on Binary Code (2012, methodology): “We rely on BAP [16] to convert assembly instructions to the IL.”
- Moat: Verifying Confidentiality of Enclave Programs (2015, methodology): “The axioms (presented in § 4.2) are part of our machine model, and they encode the ISA-level semantics of each instruction. p enc uses BAP to model x86 [14] precisely, including updates to CPU flags.”
- A design and verification methodology for secure isolated regions (2016, methodology): “We also discovered few procedures across many benchmarks that have instructions that BAP [10] could not process, and we plan to experiment with alternative tools in future.”