The BINCOA Framework for Binary Code Analysis

Sebastien Bardin (1) , Philippe Herrman (1) , Jérôme Leroux (2) , Olivier Ly (2) , Renaud Tabary (2) , Aymeric Vincent (2)

1 LSL - Laboratoire Sûreté des Logiciels
2 LaBRI - Laboratoire Bordelais de Recherche en Informatique

This paper presents the BINCOA framework, whose goal is to ease the development of binary code analysers by providing an open formal model for low-level programs (typically: executable files), an XML format for easy exchange of models and some basic tool support. The BINCOA framework already comes with three different analysers, including simulation, test generation and Control-Flow Graph reconstruction.

Domaines: Autre [cs.OH]

Sebastien Bardin, Philippe Herrman, Jérôme Leroux, Olivier Ly, Renaud Tabary, et al.. The BINCOA Framework for Binary Code Analysis. Computer Aided Verification, 2011, United Kingdom. pp.165-170, ⟨10.1007/978-3-642-22110-1_13⟩. ⟨hal-01006499⟩