Mythril Scan

Name: Mythril Scan
Author: ConsenSys

by ConsenSysSecurity3,084 downloads

clawhub install ConsenSys/mythril-scan

github.comAdded 5d ago

What it does

Scan EVM bytecode for security vulnerabilities using Mythril's symbolic execution and concolic analysis.

Any EVM chain (bytecode analysis)

Python 3.6+, solc compiler

Write and run Solidity-native smart contract tests with Foundry's blazing-fast test runner.

testing

13,745

Run static analysis on Solidity contracts with Slither to detect vulnerabilities and code issues.

Monitor, manage, and automate smart contract operations with OpenZeppelin Defender.

Formally verify smart contract properties using Certora's automated verification engine.