BINSEC: Binary code analysis with low-level regions - Archive ouverte HAL Access content directly
Conference Papers Year : 2015

BINSEC: Binary code analysis with low-level regions

(1) , (1)
1

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.

Dates and versions

cea-01834975 , version 1 (11-07-2018)

Identifiers

Cite

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⟩
124 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More