awesome-repositories.com
Blog
MCP
awesome-repositories.com

Discover the best open-source repositories with AI-powered search.

ExploreCurated searchesOpen-source alternativesSelf-hosted softwareBlogSitemap
ProjectMCP serverAboutHow we rankPress
LegalPrivacyTerms
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
Back to cdump/evmole

Open-source alternatives to Evmole

16 open-source projects similar to cdump/evmole, ranked by how many features they have in common. Compare stars, activity and what each one does to find the best Evmole alternative.

  • arachnid/evmdisArachnid avatar

    Arachnid/evmdis

    566View on GitHub↗

    EVM disassembler

    Go
    View on GitHub↗566
  • consensys/mythrilConsenSys avatar

    ConsenSys/mythril

    4,251View on GitHub↗

    Mythril is an Ethereum Virtual Machine smart contract security analyzer that uses symbolic execution to identify vulnerabilities in bytecode before deployment. It functions as a vulnerability scanner and formal auditor, treating program inputs as mathematical symbols to prove the presence of bugs in contract logic. The tool performs bytecode-level analysis to detect flaws that may be hidden by high-level compilers. It integrates SMT solvers to determine if specific vulnerability states are reachable and compares symbolic execution traces against a library of known security flaw signatures. T

    Python
    View on GitHub↗4,251
  • crytic/ethersplaycrytic avatar

    crytic/ethersplay

    859View on GitHub↗

    EVM dissassembler

    Python
    View on GitHub↗859
  • crytic/slithercrytic avatar

    crytic/slither

    6,141View on GitHub↗
    Pythonethereumsoliditystatic-analysis
    View on GitHub↗6,141
  • factionsecurity/factionfactionsecurity avatar

    factionsecurity/faction

    595View on GitHub↗

    Faction is now an OWASP Project! You can find more information here

    Java
    View on GitHub↗595

AI search

Explore more awesome repositories

Describe what you need in plain English — the AI ranks thousands of curated open-source projects by relevance.

Find more with AI search
  • ic3hydra/hydraIC3Hydra avatar

    IC3Hydra/Hydra

    74View on GitHub↗

    Framework for cryptoeconomic contract security, decentralized security bounties. Live on Ethereum.

    Haskell
    View on GitHub↗74
  • melonproject/oyentemelonproject avatar

    melonproject/oyente

    1,340View on GitHub↗

    An Analysis Tool for Smart Contracts

    JavaScript
    View on GitHub↗1,340
  • pessimistic-io/slitherinpessimistic-io avatar

    pessimistic-io/slitherin

    376View on GitHub↗

    Slither Detectors by Pessimistic.io

    Python
    View on GitHub↗376
  • raineorshine/solgraphraineorshine avatar

    raineorshine/solgraph

    1,028View on GitHub↗

    Visualize Solidity control flow for smart contract security analysis. :dollar: ⇆ :dollar:

    JavaScriptethereumsolidity
    View on GitHub↗1,028
  • runtimeverification/kontrolR

    runtimeverification/kontrol

    0View on GitHub↗
    View on GitHub↗0
  • sec-bit/adelaidesec-bit avatar

    sec-bit/adelaide

    18View on GitHub↗

    The SECBIT Static Analysis Extension to Solidity Compiler

    C++
    View on GitHub↗18
  • sec-bit/awesome-buggy-erc20-tokenssec-bit avatar

    sec-bit/awesome-buggy-erc20-tokens

    630View on GitHub↗

    A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected

    Python
    View on GitHub↗630
  • securing/dumpsterdiversecuring avatar

    securing/DumpsterDiver

    1,033View on GitHub↗

    Tool to search secrets in various filetypes.

    Python
    View on GitHub↗1,033
  • sigp/solidity-security-blogsigp avatar

    sigp/solidity-security-blog

    1,524View on GitHub↗

    Comprehensive list of known attack vectors and common anti-patterns

    View on GitHub↗1,524
  • sri-csl/soliditySRI-CSL avatar

    SRI-CSL/solidity

    53View on GitHub↗

    This is solc-verify, a modular verifier for Solidity.

    C++
    View on GitHub↗53
  • trailofbits/manticoretrailofbits avatar

    trailofbits/manticore

    3,855View on 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
    View on GitHub↗3,855