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

Assets 2

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