Manticore: Manticore 0.3.6

06/10/2021 8:02 pm

Manticore: Manticore 0.3.6

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