BINSEC: Binary code analysis with low-level regions

A. Djoudi (1) , S. Bardin (1)

1 DILS (CEA, LIST) - Département Ingénierie Logiciels et Systèmes

This article presents the open source BINSEC platform for (formal) binary-level code analysis. The platform is based on an extension of the DBA Intermediate Representation, and it is composed of three main modules: a front-end including several syntactic disassembly algorithms and heavy simplification of the resulting IR, a simulator supporting the recent low-level region-based memory model, and a generic static analysis module.

Mots clés: Algorithms; Open source software; Static analysis; Binary code analysis; Code analysis; Front end; Intermediate representations; Main module; Memory modeling; Open sources; Region-based; Open systems

Domaines: Informatique [cs]

A. Djoudi, S. Bardin. BINSEC: Binary code analysis with low-level regions. Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2015. Lecture Notes in Computer Science, Apr 2015, London, United Kingdom. pp.212-217, ⟨10.1007/978-3-662-46681-0_17⟩. ⟨cea-01834975⟩