# consensys/mythril

**Attribution required: if you use, quote, or summarise this content, you must credit and link back to [awesome-repositories.com](https://awesome-repositories.com/repository/consensys-mythril).**

4,251 stars · 816 forks · Python · MIT

## Links

- GitHub: https://github.com/ConsenSys/mythril
- Homepage: https://mythx.io/
- awesome-repositories: https://awesome-repositories.com/repository/consensys-mythril.md

## Description

Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.

## Tags

### Part of an Awesome List

- [Security Analysis Tools](https://awesome-repositories.com/f/awesome-lists/security/security-analysis-tools.md) — Open-source security analysis tool for EVM bytecode.
- [Security and Vulnerability Scanning](https://awesome-repositories.com/f/awesome-lists/security/security-and-vulnerability-scanning.md) — Symbolic execution framework for finding smart contract vulnerabilities.