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

Descoperă cele mai bune repository-uri open source cu căutare AI.

ExploreazăCăutări recomandateAlternative open-sourceSoftware self-hostedBlogHartă site
ProiectServer MCPDespreCum realizăm clasamentulPresă
LegalConfidențialitateTermeni
© 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 trailofbits

    trailofbits/slither

    6,299Vezi pe GitHub↗

    Static Analyzer for Solidity and Vyper

    Python
    Vezi pe GitHub↗6,299
  • cyfrin/foundry-full-course-f23Avatar Cyfrin

    Cyfrin/foundry-full-course-f23

    5,814Vezi pe 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

    Vezi pe GitHub↗5,814
  • crytic/slitherAvatar crytic

    crytic/slither

    6,141Vezi pe GitHub↗
    Pythonethereumsoliditystatic-analysis
    Vezi pe GitHub↗6,141
  • slowmist/blockchain-dark-forest-selfguard-handbookAvatar slowmist

    slowmist/Blockchain-dark-forest-selfguard-handbook

    6,839Vezi pe 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

    Vezi pe GitHub↗6,839

Căutare AI

Explorează mai multe repository-uri excelente

Descrie ce ai nevoie în limbaj simplu — AI-ul sortează mii de proiecte open source selectate în funcție de relevanță.

Find more with AI search
  • ivicanikolicsg/maianI

    ivicanikolicsg/MAIAN

    0Vezi pe 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…

    Vezi pe GitHub↗0
  • eth-sri/securify2Avatar eth-sri

    eth-sri/securify2

    632Vezi pe GitHub↗

    Securify v2.0

    Solidity
    Vezi pe GitHub↗632
  • consensys/mythrilAvatar ConsenSys

    ConsenSys/mythril

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

    smartdec/smartcheck

    0Vezi pe 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.

    Vezi pe GitHub↗0