Skip to Main content Skip to Navigation
Conference papers

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 metadata
Contributor : Léna Le Roy Connect in order to contact the contributor
Submitted on : Wednesday, July 11, 2018 - 10:02:11 AM
Last modification on : Thursday, February 17, 2022 - 10:08:05 AM

Links full text



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⟩



Record views