awesome-repositories.com
博客
MCP
awesome-repositories.com

通过 AI 驱动的搜索，发现最优秀的开源仓库。

探索精选搜索开源替代品自托管软件博客网站地图
项目MCP 服务器关于排名机制媒体报道
法律隐私政策服务条款
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
·
ConsenSys avatar

ConsenSys/mythril

0
View on GitHub↗
4,251 星标·816 分支·Python·MIT·8 次浏览mythx.io↗

Mythril

Mythril 是一个以太坊虚拟机 (EVM) 智能合约安全分析器，使用符号执行在部署前识别字节码中的漏洞。它作为一个漏洞扫描器和形式化审计工具，将程序输入视为数学符号，以证明合约逻辑中存在漏洞。

该工具执行字节码级分析，以检测可能被高级编译器隐藏的缺陷。它集成了 SMT 求解器来确定特定漏洞状态是否可达，并将符号执行跟踪与已知安全缺陷签名库进行比较。

该项目涵盖了广泛的安全分析功能，包括区块链漏洞检测、合约逻辑的形式化审计以及自动化安全测试。它还提供 Git 工作流集成，以在提交过程中验证代码。

Features

  • Symbolic Execution Engines - Provides a symbolic execution engine that treats inputs as mathematical symbols to explore all program paths.
  • SMT-Based Constraint Solving - Integrates SMT solvers to mathematically prove the reachability of specific vulnerability states.
  • EVM Symbolic Execution Analyzers - Implements a symbolic execution engine specifically optimized for analyzing Ethereum Virtual Machine bytecode.
  • Blockchain Security Scanning - Scans smart contracts for known exploit patterns and attack vectors on EVM-compatible networks.
  • Vulnerability Analysis - Analyzes low-level EVM bytecode to identify vulnerabilities that are hidden from high-level source analysis.
  • Smart Contract Security Analysis - Provides comprehensive security analysis to identify logical errors in Ethereum contracts before deployment.
  • Smart Contract Security Scanners - Identifies common exploits and security flaws in blockchain contracts via bytecode-level scanning.
  • Smart Contract Vulnerability Detection - Automates the identification of security flaws and exploits in blockchain smart contracts using symbolic analysis.
  • Bytecode Analysis - Analyzes raw EVM bytecode to identify vulnerabilities that high-level compilers might obscure.
  • Bytecode Vulnerability Inspections - Inspects EVM bytecode for common vulnerability patterns and critical logic errors.
  • Formal Verification of Smart Contracts - Uses symbolic execution and mathematical proofs to formally verify the correctness of smart contract logic.
  • Security Testing Pipelines - Integrates symbolic analysis into CI/CD pipelines to automate contract validation before commits.
  • SMT-Based Symbolic Execution Engines - Employs SMT-based symbolic execution to determine if vulnerable states are mathematically reachable.
  • Virtual Machine State Simulators - Implements a virtual state simulator to track blockchain balances and storage during execution analysis.
  • Security Pattern Matching - Matches symbolic execution traces against a library of known security flaw signatures.
  • Symbolic Path Pruning - Eliminates unreachable execution paths by detecting contradictory symbolic constraints.
  • Smart Contract Analysis - Symbolic execution framework for finding vulnerabilities in smart contracts.
  • Security Analysis Tools - Open-source EVM bytecode security analysis tool.
  • Security and Vulnerability Scanning - Symbolic execution framework for finding smart contract vulnerabilities.
  • Smart Contract Auditing - Security analysis tool for EVM bytecode and smart contracts.
  • Smart Contract Security - Security analysis tool for EVM bytecode and smart contract vulnerabilities.

Star 历史

consensys/mythril 的 Star 历史图表consensys/mythril 的 Star 历史图表

AI 搜索

探索更多 awesome 仓库

用简单的语言描述您的需求 —— AI 将根据相关性为您从数千个精选开源项目中进行排序。

Start searching with AI

Mythril 的开源替代方案

相似的开源项目，按与 Mythril 的功能重合度排序。
  • crytic/slithercrytic 的头像

    crytic/slither

    6,141在 GitHub 上查看↗
    Pythonethereumsoliditystatic-analysis
    在 GitHub 上查看↗6,141
  • trailofbits/manticoretrailofbits 的头像

    trailofbits/manticore

    3,855在 GitHub 上查看↗

    Manticore is a symbolic execution engine designed for the analysis of binary executables and smart contracts. It functions as an automated vulnerability scanner and verification platform that systematically traverses program execution paths to identify security flaws, validate business invariants, and ensure software properties hold true under all possible input conditions. The engine distinguishes itself through a unified instruction set abstraction that enables consistent analysis across diverse architectures and contract formats. It provides a programmatic interface for deep customization,

    Python
    在 GitHub 上查看↗3,855
  • jonathansalwan/tritonJonathanSalwan 的头像

    JonathanSalwan/Triton

    4,202在 GitHub 上查看↗

    Triton is a dynamic binary analysis framework designed to automate reverse engineering. It functions as a multi-architecture CPU emulator, an SMT-based symbolic execution engine, and a dynamic taint analysis tool. The framework translates raw machine instructions into abstract syntax trees, allowing it to represent binary program logic as a structured intermediate representation. This allows the system to map multiple hardware instruction sets to a single analysis framework and translate machine instructions into mathematical formulas for solving constraints. Its capabilities cover the simul

    C++
    在 GitHub 上查看↗4,202
  • trailofbits/slithertrailofbits 的头像

    trailofbits/slither

    6,299在 GitHub 上查看↗

    Static Analyzer for Solidity and Vyper

    Python
    在 GitHub 上查看↗6,299
查看 Mythril 的所有 30 个替代方案→

常见问题解答

consensys/mythril 是做什么的？

Mythril 是一个以太坊虚拟机 (EVM) 智能合约安全分析器，使用符号执行在部署前识别字节码中的漏洞。它作为一个漏洞扫描器和形式化审计工具，将程序输入视为数学符号，以证明合约逻辑中存在漏洞。

consensys/mythril 的主要功能有哪些？

consensys/mythril 的主要功能包括：Symbolic Execution Engines, SMT-Based Constraint Solving, EVM Symbolic Execution Analyzers, Blockchain Security Scanning, Vulnerability Analysis, Smart Contract Security Analysis, Smart Contract Security Scanners, Smart Contract Vulnerability Detection。

consensys/mythril 有哪些开源替代品？

consensys/mythril 的开源替代品包括： crytic/slither. trailofbits/manticore — Manticore is a symbolic execution engine designed for the analysis of binary executables and smart contracts. It… jonathansalwan/triton — Triton is a dynamic binary analysis framework designed to automate reverse engineering. It functions as a… trailofbits/slither — Static Analyzer for Solidity and Vyper. model-checking/kani — Kani is a formal verification tool and model checker for Rust. It functions as a bit-precise static analyzer that… angr/angr — Angr is a binary analysis framework and static analysis tool used for reverse engineering compiled binaries. It serves…