Skip to content

Manticore 0.3.6
Compare
Choose a tag to compare
@ehennenfent ehennenfent released this 10 Jun 20:02
· 109 commits to master since this release
0.3.6
2a56484
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.

0.3.6 - 2021-06-10

Thanks to our external contributors!

Ethereum

  • [Changed API] Default to quick mode: disable detectors and gas #2457
  • Allow symbolic balances from the beginning of execution #1818
  • Disable EVM Events in Testcases #2417

Native

  • [Added API] Syscall-specific hooks #2389
  • Fix wildcard behavior in symbolic files #2454
  • Bugfixes for control transfer between Manticore & Unicorn #1796

Other

  • Run multiple SMT solvers in parallel, take the fastest response #2420
  • Add socket for TUI #1620
  • Memory usage improvements in expression system #2394
  • Support for Boolector #2410
  • Solver Statistics API #2415
  • Allow duplicated config options #2397
Assets 2