Manticore

Symbolic execution tool on smart contracts and binaries