Manticore is a symbolic execution engine used for analyzing binaries and smart contracts. It lets you explore program paths with symbolic inputs, find errors, and generate specific test cases.
Explores program states to find bugs and generate inputs.
Security researchers, developers analyzing binaries or EVM bytecode, and QA engineers.