Binary Analysis Platform

We present Binary Analysis Platform (BAP), a representation-agnostic program analysis framework for binaries that can leverage existing tools, libraries, and frameworks, no matter which intermediate representation (IR) they use. In BAP, a new IR could be introduced without requiring any modifications of the existing code or rebuilding, relinking, or even reinstallation. We also describe the methodology for implementing such frameworks and the mathematical model for reasoning about program transformation pipelines, with the main hope that this approach could be adopted by other OCaml projects, including the OCaml compiler.