Mythril

—

Symbolic-execution for EVM bytecode.

PythonMIT

ConsenSys Diligence's security analysis tool for Ethereum and EVM-compatible smart contracts. Symbolic execution + SMT solving.

Does

For