This is a very short article because MythX makes it super easy to run security analysis on a Solidity file. Assume you have a smart contract you want to check for vulnerabilities. Further assume the contract file is called epic_fail.sol. Try the following:
$ npm install -g sabre-mythx
$ sabre epic_fail.sol
Note the SWC ID on the right: That’s where you find the description of the bug in the Smart Contract Weakness Classification Registry.
Happy and safe coding!
About Mythril and MythX
Mythril is a free and open-source smart contract security analyzer. It uses symbolic execution to detect a variety of security vulnerabilities.
MythX is a cloud-based smart contract security service that seamlessly integrates into smart contract development environments and build pipelines. It bundles multiple bleeding-edge security analysis processes into an easy-to-use API that allows anyone to create purpose-built smart contract security tools. MythX is compatible with Ethereum, Tron, Vechain, Quorum, Roostock and other EVM-based platforms.