Announcing Manticore 0.3.0

Summary: Trail of Bits released Manticore 0.3.0, adding a Unicorn emulator plugin that fast-forwards through concrete execution and produced speed improvements of up to 50x, plus support for Linux binaries statically compiled for AArch64 and a dozen new Linux system calls. The release also refactors the state machine to use the multiprocessing module, adds stubs that pretend unimplemented system calls completed successfully, and extends continuous integration to run Manticore against the Frontier version of the Ethereum VM tests on each commit.
Why it matters: The new stubs mean Manticore will no longer throw an exception on an unimplemented system call but will instead assume it succeeded, so analysis may be unsound if an important syscall was ignored - a warning message is the only signal.

Read the original at Trail of Bits Blog ↗