Last released Feb 27, 2024
Manticore is a symbolic execution tool for analysis of binaries and smart contracts.
Supported by
