Insight Interactive Inspector: A Symbolic Debugger for Binary Programs

iii is a symbolic debugger based on the Insight framework. It allows to execute a binary program in debug mode (stop, step, continue, etc.) within an abstract domain for its values (concrete execution, symbolic execution, and others will come). The tool is using all the power of Python to allow scripting and the usage of external modules to help in the analysis.

Try out the iii tutorial which will take you for a quite complete tour of this tool while exploring this ELF crackme.