BINSEC: Binary code analysis with low-level regions - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Access content directly
Conference Papers Year : 2015

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.

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

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More