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

Assets 2

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