Skip to content
A(nother) Binary Analysis Framework
Branch: master
Clone or download

Latest commit

Fetching latest commit…
Cannot retrieve the latest commit at this time.

Files

Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
doc
src
test
tools
.gitignore
AUTHORS
COPYING
ChangeLog
INSTALL
Makefile.am
NEWS
README
autogen.sh
configure.ac

README

	Insight: An analysis framework for executable formats
       =======================================================

Insight provides a framework to analyze binary files using static
analysis, model-checking and theorem proving techniques.

Insight is released under a 2-clause BSD license (see the 'COPYING'
file for more details).

For now, Insight supports i386 and amd64 architectures for
analysis. Because it currently depends on the GNU binutils to read
binary files and decode instructions, it is further limited to what
your installation of the binutils allows. See the 'INSTALL' file to
compile the binutils with support for all architectures.

Insight is released as a library and we provide only tests; we are
working on tools which will be released later under the same license.

Users Information
==================
For further information on the contents of this distribution file,
we refer you to the following other documents:

* AUTHORS: List of authors and contributors to this project.
* COPYING: License information.
* INSTALL: Compilation and installation instructions.
* NEWS: List of major changes between formal releases.

For general and up-to-date information, visit our website at:

https://insight.labri.fr/


Developer Information
======================
Developpers are, of course, more than welcome in this project and
feature requests, development questions and patches will be looked at
and commented by the Insight team.

Getting a fresh development snapshot of the source:

$ svn checkout https://insight.labri.fr/svn/trunk insight

In order to report a bug, or request a new feature, please use our
issue tracker at https://insight.labri.fr/trac/newticket

To contact the development team, send an e-mail to insight@labri.fr


Debugging with libtool
=======================
The autotools and libtool are producing shell scripts in place of
executable files when building the software. Thus, using debug tools
such as 'gdb' or 'valgrind' is quite tedious because you have to find
your way to the real executable file and properly set the library
path.

You just have to use the 'libtool' command as shown here:

$ libtool --mode=execute gdb cfgrecovery
$ libtool --mode=execute valgrind cfgrecovery

On some operating systems, you have to use "glibtool" instead.
You can’t perform that action at this time.