BAP: A Binary Analysis Platform

  • David Brumley
  • Ivan Jager
  • Thanassis Avgerinos
  • Edward J. Schwartz
Conference paper

DOI: 10.1007/978-3-642-22110-1_37

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6806)
Cite this paper as:
Brumley D., Jager I., Avgerinos T., Schwartz E.J. (2011) BAP: A Binary Analysis Platform. In: Gopalakrishnan G., Qadeer S. (eds) Computer Aided Verification. CAV 2011. Lecture Notes in Computer Science, vol 6806. Springer, Berlin, Heidelberg

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • David Brumley
    • 1
  • Ivan Jager
    • 1
  • Thanassis Avgerinos
    • 1
  • Edward J. Schwartz
    • 1
  1. 1.Carnegie Mellon UniversityPittsburghUSA

Personalised recommendations