Manticore
Launched in 2017 by TrailOfBits, Manticore offers a symbolic execution tool for analyzing Ethereum smart contracts, Linux ELF binaries, and WASM modules. Manticore automatically creates fresh inputs according to a state, identifies crashes and failure scenarios, and investigates the states a program might achieve. By utilizing instruction hooks and callbacks, developers gain accurate management of state exploration. Delivered with a wiki, examples, and an API reference guide, Manticore offers developers the tools needed to maximize and customize their use of its interface.
