The BINCOA framework for binary code analysis

50Citations
Citations of this article
30Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

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.

Cite

CITATION STYLE

APA

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

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free