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

[CTF入门培训]顶尖高校博士及硕士团队亲授《30小时教你玩转CTF》，视频+靶场+题目！助力进入CTF世界