Smart Contract Security Verification Just Got a Whole Lot Easier

Bernhard Mueller
Mar 8 · 2 min read

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:

The output:

Note the SWC ID on the right: That’s where you find the description of the bug in the Smart Contract Weakness Classification Registry.

If you want full reports beyond the first 3 issues detected, sign up for a free API key. If you want to run analysis on large Truffle projects try Truffle Security.

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.

ConsenSys Diligence

ConsenSys Diligence has the mission of solving Ethereum smart contract security. Contact us for an audit at diligence@consensys.net.

Bernhard Mueller

Written by

Product Engineer @ConsenSys Diligence

ConsenSys Diligence

ConsenSys Diligence has the mission of solving Ethereum smart contract security. Contact us for an audit at diligence@consensys.net.