A binary analysis tool developed at CMU in early 2010’s and used as the basis of many binary analysis tools. Version 2.0 released in 2019.
Notes related to Binary Analysis Platform (BAP)
Valgrind binary instrumentation tool
Papers related to Binary Analysis Platform (BAP)
- Enhancing symbolic execution with veritesting [avgerinos:icse:2014]
- BAP: A binary analysis platform [brumley:cav:2011]