@JonathanSalwan JonathanSalwan released this Jan 26, 2016 · 1603 commits to master since this release

Assets 2

This version is a big step forward for the project. The version v0.3 allows you to plug any kind of tracers (e.g: Valgrind, Qemu, Pin, DynamoRIO, ...), allows you to simplify your symbolic expressions, to perform symbolic optimizations, to perform online or offline analysis, the libTriton is now available on OSX, Linux and Windows (without pintool), there is a new C++ and Python API and many more... Below, the short list of the main features added.

  • Externalize analysis from pintool (see #226)
  • libTriton available on OSX, Linux and Windows (without the pintool)
  • Tracer independent (see doc)
  • SMT Simplification Passes (see doc)
  • New semantics format (see source)
  • Offline / Online analysis
  • Symbolic Optimizations (see doc)
  • New C++ and Python API
  • Switch to Capstone for a multi-arch design
  • Semantics bug fix
  • Engines bug fix