04.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).
05.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).
06.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).
07.Bug Fixes:
08.
09.The advertisements have been tamed somewhat and have a 78% lower chance of popping out and tearing your eyes out.
10.Lots of other cleanups and annoyance removals that we didn’t make note of but probably should have for a more impressive looking ‘Bug Fixes’ list.
11.This looks like an awesome release and we are downloading it just as we are writing this!
