Mythril: Automated security analysis

25 Apr 2024

Mythril is a security analysis tool that can be used to detect security issues in contracts. Unlike Slither, Mythril uses solc (not crytic-compile) and analyses the EVM bytecode. This feature allows it to run without the original source code, if such a need arises.

Where’s the Documentation

I found the readthedocs mythril documentation to have less detail than the CLI help messages. It’s easy enough to access the help messages using myth --help or myth a --help to learn about the different flags and arguments that can be provided.

Comparison to Slither

Under the hood:

• py-solc vs. solc-select
• solc vs. crytic-compile

Concluding Remarks