Overview

The Remix MythX plugin is a tool that performs static and dynamic security analysis on smart contracts using the MythX Cloud Service. It provides a convenient way for developers to identify and address potential vulnerabilities in their Ethereum smart contracts.

Features

• Static and Dynamic Security Analysis: The plugin utilizes the MythX Cloud Service to perform both static and dynamic analysis on smart contracts, helping developers uncover security vulnerabilities.
• Easy Installation: The installation process for the plugin is straightforward and can be completed through the plugin manager in Remix.
• Plugin Activation and Dependencies: The plugin requires activation in the plugin manager and has a dependency on the Solidity Compiler plugin, which also needs to be activated.
• Plugin Settings and Credentials: Users need to open the plugin and configure their MythX settings by providing their credentials, which are used for executing security analysis via MythX. Users can create their own account on mythx.io.
• Contract Selection and Compilation: Users can select a smart contract from a file explorer within the plugin. The selected contract can then be compiled using the Solidity compiler plugin.
• Analysis and Report: Once the contract is compiled, users can choose to analyze the contract using the MythX plugin. The plugin generates a report that highlights any issues found in the contract, providing useful information for debugging and fixing vulnerabilities.
• Issue Highlighting: The plugin allows users to click on an issue in the report, which will highlight the corresponding location of the issue in the code for easier debugging.
• Troubleshooting: The plugin provides solutions for common issues, such as a white screen issue when running the plugin locally on Chrome or a “Failed to read the ’localStorage’ property from ‘Window’” error on Brave browser.

Installation

To install the Remix MythX plugin, follow these steps:

1. Activate the plugin in the plugin manager.
2. Activate the Solidity Compiler plugin, as the MythX plugin has a dependency on it.
3. Open the MythX plugin and click on the “MythX Settings” button at the bottom of the plugin.
4. In the plugin’s settings page, you will find a block with credentials. These credentials are used for executing security analysis via MythX.
5. By default, the plugin provides trial credentials, but for unrestricted access and reports, you can create your own account on mythx.io.
6. Select a smart contract from the file explorer within the plugin.
7. Compile the contract using the Solidity Compiler plugin.
8. Open the MythX plugin and select the contract you want to analyze.
9. Click on the “Analyze” button and wait for the response.
10. Once the report is received, you will see a list of issues. Clicking on an issue will highlight the corresponding location in the code.

Summary

The Remix MythX plugin is a powerful tool for Ethereum smart contract developers, providing them with static and dynamic security analysis capabilities. With its easy installation process, convenient plugin activation, and ability to generate reports, developers can quickly identify and address potential vulnerabilities in their contracts, leading to safer and more secure applications on the Ethereum blockchain.