Symbolic Execution Tools

Manticore is a symbolic execution tool for the analysis of Ethereum smart contracts and binaries.

Mythril is a dynamic analysis tool for EVM bytecode that detects security vulnerabilities.

Oyente is a smart contract analysis tool built in 2016 to detect security vulnerabilities.