awesome-repositories.comCategoríasBlog
MCP
awesome-repositories.com

Descubre los mejores repositorios open-source con nuestra búsqueda potenciada por IA.

ExplorarBúsquedas curadasAlternativas open-sourceSoftware autohospedableBlogMapa del sitio
ProyectoServidor MCPAcerca deCómo clasificamosPrensa
Aviso legalPrivacidadTérminos
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
·
Back to enzymefinance/oyente

Open-source alternatives to Oyente

8 open-source projects similar to enzymefinance/oyente, ranked by how many features they have in common. Compare stars, activity and what each one does to find the best Oyente alternative.

  • trailofbits/slitherAvatar de trailofbits

    trailofbits/slither

    6,299Ver en GitHub↗

    Static Analyzer for Solidity and Vyper

    Python
    Ver en GitHub↗6,299
  • cyfrin/foundry-full-course-f23Avatar de Cyfrin

    Cyfrin/foundry-full-course-f23

    5,814Ver en GitHub↗

    This repository is a comprehensive educational curriculum and programming guide designed to teach Solidity development and smart contract testing. It provides a structured set of instructional materials and tutorials for writing, deploying, and auditing secure programmable contracts on the Ethereum Virtual Machine. The course focuses on the Foundry toolkit, providing an Ethereum tooling curriculum that covers compiling and testing smart contracts locally. It emphasizes a professional development workflow, moving from initial Solidity programming to the implementation of decentralized applicat

    Ver en GitHub↗5,814
  • crytic/slitherAvatar de crytic

    crytic/slither

    6,141Ver en GitHub↗
    Pythonethereumsoliditystatic-analysis
    Ver en GitHub↗6,141
  • slowmist/blockchain-dark-forest-selfguard-handbookAvatar de slowmist

    slowmist/Blockchain-dark-forest-selfguard-handbook

    6,839Ver en GitHub↗

    This project is a collection of instructional resources and manuals providing strategic defense frameworks for protecting cryptocurrency assets and digital identities. It serves as a security guide for mitigating blockchain-based exploits, managing digital wallets, and implementing risk frameworks to prevent the theft of digital assets. The documentation provides detailed handbooks on wallet security, including the management of private keys, the use of hardware wallets, and secure transaction signing. It offers specialized guidance on anti-phishing defense and the identification of social en

    Ver en GitHub↗6,839

Búsqueda con IA

Explora más repositorios increíbles

Describe lo que necesitas en lenguaje sencillo: la IA clasifica miles de proyectos open-source curados por relevancia.

Find more with AI search
  • ivicanikolicsg/maianI

    ivicanikolicsg/MAIAN

    0Ver en GitHub↗

    The repository contains Python implementation of Maian -- a tool for automatic detection of buggy Ethereum smart contracts of three different types: prodigal, suicidal and greedy. Maian processes contract's bytecode and tries to build a trace of transactions to find and confirm bugs. The…

    Ver en GitHub↗0
  • eth-sri/securify2Avatar de eth-sri

    eth-sri/securify2

    632Ver en GitHub↗

    Securify v2.0

    Solidity
    Ver en GitHub↗632
  • consensys/mythrilAvatar de ConsenSys

    ConsenSys/mythril

    4,251Ver en 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
    Ver en GitHub↗4,251
  • smartdec/smartcheckS

    smartdec/smartcheck

    0Ver en GitHub↗

    SmartCheck is an extensible static analysis tool for discovering vulnerabilities and other code issues in Ethereum smart contracts written in the Solidity programming language.

    Ver en GitHub↗0