Binary Analysis Platform (BAP). Using Universal Algebra and Tagless-Final Style for Developing Representation-Agnostic Frameworks
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.
Sat 28 AugDisplayed time zone: Seoul change
03:30 - 05:00
|Binary Analysis Platform (BAP). Using Universal Algebra and Tagless-Final Style for Developing Representation-Agnostic Frameworks|
|Semgrep, a fast, lightweight, polyglot, static analysis tool to find bugs|
Yoann Padioleau Return to CorpFile Attached