Remix

MythX has arrived in the most popular smart contract IDE

Installation

These instructions will show the Remix interface that is current as of early 2020. We recommend everyone use this interface.

Because Remix is a web-based interface, no local installation is required. However, MythX will need to be specifically activated from within the Remix Plugin Manager before use.

To activate MythX in Remix:

Click the Plugins icon (which resembles a plug).

Alternately, click the See all Plugins button under Featured Plugins. The full list of plugins for Remix will be displayed. Scroll down to the entry titled MythX Security Verification and click Activate.

If done correctly, the plugin will be listed under Active Modules and the MythX icon will be shown in the sidebar.

Authentication

Follow the instructions to generate a new API key on the dashboard.

After you have the API key, save it on Remix:

Usage

You can perform a security analysis on any contract in any open file on Remix. To perform an analysis:

Click the MythX logo on the sidebar to open the MythX control panel (if it isn’t already open). Below the credentials section, there will be a box containing a list of all applicable contracts. Select the contract you wish to analyse and click the Analyze button. You can also select the scan mode as shown below:

Different plans have access to different modes. Please refer to the MythX Pricing page to see which plan you need for each mode.

The contract may need to be compiled first, depending on the current Remix settings. Make sure the Solidity Compiler plugin for Remix is activated in your project. You will have to click the Solidity icon and then click the Compile button for your contract.

Depending on the scan mode selected, the analysis may take a few minutes. When completed, a list of vulnerabilities will be displayed, along with a link to the SWC Registry for each vulnerability found.

Further Resources

Last updated