Skip to content

0.50.0
Compare
Choose a tag to compare
@github-actions github-actions released this 19 Dec 18:54
· 1632 commits to main since this release
v0.50.0
This tag was signed with the committer’s verified signature.
d-xo dxo
GPG key ID: D1920031620D057E
Learn about vigilant mode.
c7190f7
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

Changed

The symbolic execution engine has been rewritten. We have removed our dependency on sbv, and now symbolic execution decompiles bytecode into a custom IR, and smt queries are constructed based on the structure of the term in this IR.

This gives us much deeper control over the encoding, and makes custom static analysis and simplification passes much easier to implement.

The symbolic execution engine is now parallel by default, and will distribute granular SMT queries across a pool of solvers, allowing analysis to be scaled out horizontally across many CPUs.

more details can be found in the architecuture docs.

Removed

The following cli commands have been removed:

  • abiencode
  • rlp
  • flatten
  • strip-metadata
Assets 3
Loading