Mythril Classic is an open-source security analysis tool for Ethereum smart contracts. It uses concolic …
https://github.com/ConsenSys/mythril
develop