BAP: A binary analysis platform. BAP is a publicly available infrastructure for performing program verification and analysis tasks on binary (i.e., executable) code. In this paper, we describe BAP as well as lessons learned from previous incarnations of binary analysis platforms. BAP explicitly represents all side effects of instructions in an intermediate language (IL), making syntaxdirected analysis possible. We have used BAP to routinely generate and solve verification conditions that are hundreds of megabytes in size and encompass 100,000’s of assembly instructions.
Keywords for this software
References in zbMATH (referenced in 7 articles )
Showing results 1 to 7 of 7.
- Tan, Gang; Morrisett, Greg: Bidirectional grammars for machine-code decoding and encoding (2018)
- Padaryan, V.; Getman, A.; Solovyev, M.; Bakulin, M.; Borzilov, A.; Kaushan, V.; Ledovskikh, I.; Markin, Yu.; Panasenko, S.: Methods and software tools to support combined binary code analysis (2014) ioport
- Romano, Anthony: Practical floating-point tests with integer code (2014)
- Brauer, Jörg; King, Andy; Kowalewski, Stefan: Abstract interpretation of microcontroller code: intervals meet congruences (2013)
- Brauer, Jörg; King, Andy: Transfer function synthesis without quantifier elimination (2012)
- Song, Fu; Touili, Tayssir: Pushdown model checking for malware detection (2012)
- Brumley, David; Jager, Ivan; Avgerinos, Thanassis; Schwartz, Edward J.: BAP: A binary analysis platform (2011) ioport