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. © 2011 Springer-Verlag.
CITATION STYLE
Bardin, S., Herrmann, P., Leroux, J., Ly, O., Tabary, R., & Vincent, A. (2011). The BINCOA framework for binary code analysis. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6806 LNCS, pp. 165–170). https://doi.org/10.1007/978-3-642-22110-1_13
Mendeley helps you to discover research relevant for your work.