truffle using mythx verify

detect security vulnerabilities in your ethereum smart contracts throughout the development life cycle. analyze solidity dapps for security holes and known smart contract vulnerabilities. help make ethereum a more secure platform.