01.This is the official change log:

02.New Features:

03.

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!

download link:http://u.115.com/file/t2d9878cde

[培训]《安卓高级研修班(网课)》月薪三万计划，掌 握调试、分析还原ollvm、vmp的方法，定制art虚拟机自动化脱壳的方法