Skip to content
Announcing Manticore 0.3.0
blog.trailofbits.com | blog | #release | #dynamic-analysis | #symbolic-execution | #manticore | #aarch64
Summary
Manticore 0.3.0 refactors its executor on multiprocessing, adds Unicorn preloading to fast-forward irrelevant concrete code up to 50x, and gains support for statically compiled AArch64 Linux binaries.
- Published
- Collected