VS Code

MythXvsc is an extension for running MythX smart contract analysis from Visual Studio Code.

The extension provides:

  • Smart contract compilation (via the Solidity VS Code extension)
  • Authentication to the MythX platform
  • AST extraction from compiled source
  • Submission of analysis
  • Displaying analysis result in VS Code in a linting fashion


The MythXvsc extension depends on the Solidity extension by Juan Blanco. Make sure to download this from Visual Studio Code Marketplace before installing MythXvsc.


Install from the Visual Studio marketplace.


After installing the extension, please enter your registered MythX Ethereum address and password in the VS Code user settings. These fields are properties of the extension as shown in the screenshots below:

../../_images/installation.png ../../_images/user_settings.png


Please note that the credentials stored this way are exposed to VS Code. Be sure to understand the security risk this entails or contact the extension developers if you don’t.

In the future, we will be releasing a more robust login implementation via a single token, which will better protect your credentials.

If no Ethereum address and/or password are provided, the extension will fallback to use Trial Mode.


Open a Solidity file from inside a folder or workspace, and click the MythX: Analyze smart contract button that you will see in the top right of your IDE window. Otherwise, right click with your mouse on the contract name and you will see the command there.

../../_images/button_one.png ../../_images/right_click.png

Once the solidity compilation is done, you will be asked to pick a contract from a dropdown list of contracts that exist in the compiled AST. Please make sure to pick the main contract to avoid inconsistent results.


Once the analysis is over, you will see your smart contract issues highlighted in your code. The exact time it takes to perform an analysis will depend on the plan associated with your account.


Please see the MythX Pricing page for details on plans.