Version 0.4

@JonathanSalwan JonathanSalwan released this Nov 17, 2016 · 178 commits to master since this release

This version has been pushed due to the new design philosophy of the next one (v0.5). However, this version provides 95 new features and bug fixes.

Downloads

Version 0.3

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

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

Downloads

Version 0.2

@JonathanSalwan JonathanSalwan released this Nov 29, 2015 · 986 commits to master since this release

For this version, we have pushed 272 commits and closed 84 issues since the v0.1. Several efforts have been done around the execution speed and the RAM management. Then, a big step forward has been done on the semantics manipulation. To be short, below is the list of the main features added.

  • 32-bits support
  • Semantics representation as AST
  • Eval SMT expressions
  • Generate several models
  • Create and modify your own AST
  • Improve engines
  • Speed up execution
  • Blacklist and whitelist of jited images
  • Less RAM consumption
  • Add semantics
  • Bugs fixed
  • Code coverage tool

Downloads

Version 0.1

@JonathanSalwan JonathanSalwan released this Jun 25, 2015 · 1258 commits to master since this release

Basically, this first version contains:

  • A dynamic symbolic execution engine
  • A translation of instructions into SMT-LIB v2.0
  • A solver interface
  • A snapshot engine
  • A taint engine
  • Python bindings on Triton and Pin's features
  • 114 supported semantics
  • A memory tracer tool
  • A database generation tool
  • A format string bug analysis tool
  • A use-after-free bug analysis tool
  • A documentation

Downloads