mythril

Mythril 是一款基于符号执行的智能合约安全分析工具，用于检测以太坊及其他EVM兼容区块链上部署的智能合约字节码中的安全漏洞。它支持Solidity源码和EVM字节码输入，通过符号执行引擎自动探索执行路径，识别重入、整数溢出、未保护的自毁等常见SWC标准漏洞。工具提供命令行接口、Docker镜像及pre-commit集成，可嵌入开发与审计流程。适用于智能合约开发者、安全审计人员及区块链项目团队在开发测试阶段进行自动化安全检查。