Immunity Debugger v1.80 released

Immunity Debugger is a powerful new way to write exploits, analyze malware, and reverse engineer binary files. It builds on a solid user interface with function graphing, the industry's first heap analysis tool built specifically for heap creation, and a large and well supported Python API for easy extensibility.

New Features:
* Analysis engine for converting x86 code to SMT formulae (see
Libs/x86smt/sequenceanalyzer.py). For now we use CVC3 to provide the
backend SMT solver API. (You must add Libs/x86smt/ to your PATH as two
required dlls reside there).

* Preliminary DEPLIB v2 scripts built on top of the above analysis
engine for finding ROP gadgets (see PyCommands/deplib/findpivot.py and
PyCommands/deplib/find_gadget.py).

* Early versions of libraries for building static analysis tools on top
of ID (See Libs/pathgenerator.py). These are independent of the x86smt
libraries but combinations of both can work well (see
Libs/x86smt/pathwalker.py, PyCommands/x86smt/find_int_overflow.py and
PyCommands/pathogen.py).

Download: http://www.immunityinc.com