|Résumé||In this talk, we will present the current status of the Insight
project which is aimed at analysing binary code.
Binary code analysis is challenging because of the inherent
difficulties of analysing code where the control flow graph is not
explicitly given, where datatypes are not available, compounded with
the technical challenge of decoding mnemonics of real processors as
complex as the Intel 32-bit architecture.
The formal model used in Insight will be presented, and an application
to CFG recovery will be detailed. Further work will be discussed. |