Skip to content

Version 0.3
Compare
Choose a tag to compare
@JonathanSalwan JonathanSalwan released this 26 Jan 10:30
· 3237 commits to master since this release
v0.3
0f1962f

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
Assets 2
Loading