BINSEC: Binary code analysis with low-level regions

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

https://hal-cea.archives-ouvertes.fr/cea-01834975
Contributor : Léna Le Roy <>
Submitted on : Wednesday, July 11, 2018 - 10:02:11 AM
Last modification on : Wednesday, January 23, 2019 - 2:39:33 PM

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

54