“BAP: A Binary Analysis Platform” by David Brumley, Ivan Jager, Thanassis Avgerinos, and Edward J. Schwartz. In Proceedings of the Conference on Computer Aided Verification, 2011.
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 syntax-directed analysis possible. We have used BAP to routinely generate and solve verification conditions that are hundreds of megabytes in size and encompass 100,000s of assembly instructions.
BibTeX entry:
@inproceedings{brumley:2011:bap,
author = {David Brumley and Ivan Jager and Thanassis Avgerinos and
Edward J. Schwartz},
title = {BAP: A Binary Analysis Platform},
booktitle = {Proceedings of the Conference on Computer Aided Verification},
year = {2011}
}
(This webpage was created with bibtex2web.)
Back to publications.