ICFP 2021
Sun 22 - Sat 28 August 2021
Sat 28 Aug 2021 03:30 - 04:00 at OCaml - Session 6 Chair(s): Rudi Grinberg

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.

Abstract (ocaml2021-paper11.pdf)31KiB