The Insight Project
The Insight project is devoted to binary analysis to serve several purposes such as:
- Binary verification
 - Reverse engineering
 - Binary test cases extraction
 - Decompilation to higher-level languages
 
We aim to have a full and efficient platform to easily try out novel algorithms or techniques. For this, we provide a full C++ framework designed for Unix systems (*BSD, Linux, MacOS X, ...) which contains a wide-spectrum binary format loaders (ELF, PE, Mach-O, ...), a decoder translating from assembly code (i386 and amd64 for now others will come) into our intermediate language, an interpreter to execute the program over a (potentially abstract) domain and several facilities to simplify, manipulate or transform the graph and the expressions extracted from the original program.
Warning: The insight framework is still not feature complete and is a work in progress. Yet, one can try the tool cfgrecovery in insight/tools/cfgrecovery/ directory once you have compiled everything.
News
- April 23, 2015: Looking for a Postdoc or a Research Engineer
 
We are currently looking for a Postdoc or a Research Engineer to work on binary analysis related topics for 10/12 months in Bordeaux (see full announcement).
- July 31, 2014: A complete iii tutorial !
 
A full tour of the new tool based on Insight, iii (Insight Interactive Inspector): a symbolic debugger (PDF, crackme).
- June 10, 2014: Dagstuhl seminar 14241, Germany
 
"Insight: A(nother) Binary Analysis Framework" (Slides)
- June 13, 2013: Seminar CCIS at Verimag (Grenoble)
 
"Binary Analysis: Theory and Practice" (Emmanuel Fleury, Slides).
- March 11, 2013: Séminaire vérification de Toulouse (Torrents)
 
"The Insight binary code analysis platform" (Aymeric Vincent, Slides).
- December 4, 2012: A few interships proposals are available
 
See the internships page: Internships (positions filled)
- November 9, 2012: We have a one year position for a postdoct to work on Insight.
 
See full offer here (position filled).
- November 7, 2012: CFG recovery examples.
 
Here is an archive gathering small examples used to show capabilities of our CFG recovery tool based on Insight library.
- October 24, 2012: Release of insight 0.3.
 
Minor changes in this release. Several bugs have been fixed in microcode generation for x86_32 decoder. The output of CFG in dot format has been improved.
- September 28, 2012: Release of insight 0.2.
 
This release contains the first incomplete release of the cfgrecovery tool intended to rebuild the CFG of a program based on the executable only. It also introduces support for the Mathsat 5 and Z3 SMT-solvers and a lot of bug fixes and architecture improvements.
- July 26, 2012: First public release of insight 0.1.
 
This release contains only the insight library and a lot of tests, we will release associated tools soon.
Downloads
| File | Description | Hash | 
| examples.tar.bz2 | Examples for CFGrecovery tool | SHA1 557951f4fabbe589584446c02114a018399b228e | 
| insight-0.3.tar.gz | Source code of insight 0.3 | SHA1 21d02aa3b3e5deaf13ff4d1798db45e382fe2e9d | 
| insight-0.2.tar.gz | Source code of insight 0.2 | SHA1 99a728ee976b81412179781e13120a4e07c0b3df | 
| insight-0.1.tar.gz | Source code of insight 0.1 | SHA1 3282fd991e7628e326c8b30f2ae3a4699cc1ad03 | 
About Us
We are working at the LaBRI laboratory in Bordeaux, France within the Formal Methods Team (in the Modelisation and Verification group).
- Emmanuel Fleury <emmanuel.fleury(at)labri.fr>
 - Gérald Point <gerald.point(at)labri.fr>
 - Aymeric Vincent <aymeric.vincent(at)labri.fr>
 
Insight Tools
Other Pages
- Please report bugs or suggest new features
 - RelatedWork
 - Publications
 - Internships
 
Attachments (1)
- 
    Dagstuhl-seminar-14241-Insight.pdf
       (725.5 KB) -
      added by fleury 3 years ago.
                
Dagstuhl Seminar 14241
 
Download all attachments as: .zip
