Manticore: Manticore 0.3.6

0.3.6 – 2021-06-10

Thanks to our external contributors!

• timgates42

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