awesome-repositories.com
Blog
awesome-repositories.com

Entdecke die besten Open-Source-Repositories mit KI-gestützter Suche.

EntdeckenKuratierte SuchenOpen-Source-AlternativenSelf-hosted SoftwareBlogSitemap
ProjektÜber unsRanking-MethodikPresseMCP-Server
RechtlichesDatenschutzAGB
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
·
trailofbits avatar

trailofbits/slither

0
View on GitHub↗
6,299 Stars·1,117 Forks·Python·AGPL-3.0·2 Aufrufeblog.trailofbits.com/2018/10/19/slither-a-solidity-static-analysis-framework↗

Slither

Static Analyzer for Solidity and Vyper

Features

  • Smart Contract Auditing - Scans Solidity source code for over 40 classes of security vulnerabilities with high confidence and low false positives.
  • Vyper Analyzers - Extends static analysis to detect vulnerabilities in Vyper smart contracts using the same engine.
  • Control-Flow Graph Constructions - Constructs control-flow and call graphs from smart contract bytecode for path-sensitive analysis.
  • Inheritance Graph Resolutions - Resolves contract inheritance hierarchies to track function overrides and interface implementations.
  • Pattern-Based Vulnerability Detection - Matches known security flaw patterns against the intermediate representation using configurable rule sets.
  • Smart Contract Language Frontends - Parses Solidity and Vyper source files through separate frontends converging into a shared analysis engine.
  • Intermediate Representation Analysis - Transforms Solidity and Vyper source code into a custom intermediate representation for uniform vulnerability detection.
  • Solidity Vulnerability Detectors - Scans Solidity and Vyper smart contracts for vulnerabilities, generates test cases, and produces code summaries.
  • Upgradeable Contract Security Reviews - Checks delegatecall-based upgradeability patterns for security and correctness in smart contracts.
  • Python Plugin Integrations - Exposes a Python API for writing custom detectors that integrate directly into the static analysis pipeline.
  • ERC Standard Conformance Checkers - Verifies whether a contract correctly implements ERC20, ERC721, or other token standards.
  • Conformance Verifications - Verifies whether a contract correctly implements ERC20, ERC721, or other token standards.
  • Security Reviews - Reviews delegatecall-based upgradeability patterns in Solidity contracts for security and correctness.
  • Storage Layout Simulations - Models Ethereum storage slot assignments to compute raw storage values and detect upgradeability misconfigurations.
  • Custom Vulnerability Detector APIs - Provides a Python API to define new vulnerability detection rules and integrate them into the analysis pipeline.
  • Smart Contract Reports - Outputs human-readable reports, inheritance graphs, call graphs, and control-flow diagrams for rapid code review.
  • Smart Contract Property-Based Test Generations - Generates randomized unit tests by inferring contract invariants and edge-case conditions from the intermediate representation.
  • Smart Contract Property-Based Test Generators - Automatically produces property-based unit tests from Solidity contract source code to uncover edge-case bugs.
  • Smart Contract Unit Test Generations - Generates property-based unit tests from Solidity contract source code to uncover edge-case bugs automatically.
  • Smart Contract Analysis - Static analysis framework for detecting vulnerabilities in Solidity code.
  • Security and Vulnerability Scanning - Static analysis framework for detecting smart contract vulnerabilities.

Star-Verlauf

Star-Verlauf für trailofbits/slitherStar-Verlauf für trailofbits/slither

KI-Suche

Entdecke weitere awesome Repositories

Beschreibe in einfachen Worten, was du brauchst — die KI bewertet tausende kuratierte Open-Source-Projekte nach Relevanz.

Start searching with AI

Open-Source-Alternativen zu Slither

Ähnliche Open-Source-Projekte, sortiert nach der Anzahl der gemeinsamen Funktionen mit Slither.
  • crytic/slitherAvatar von crytic

    crytic/slither

    6,141Auf GitHub ansehen↗
    Pythonethereumsoliditystatic-analysis
    Auf GitHub ansehen↗6,141
  • kadenzipfel/smart-contract-vulnerabilitiesAvatar von kadenzipfel

    kadenzipfel/smart-contract-vulnerabilities

    2,466Auf GitHub ansehen↗

    This project serves as a comprehensive knowledge base and technical reference for identifying and mitigating security vulnerabilities in smart contracts. It provides a structured catalog of common attack vectors, logic errors, and insecure coding patterns, offering developers and auditors a centralized resource for implementing secure decentralized applications. The repository distinguishes itself by covering the full lifecycle of contract security, from low-level arithmetic safety and compiler constraints to high-level architectural patterns. It details specific defensive strategies for mana

    blockchainethereumsecurity
    Auf GitHub ansehen↗2,466
  • consensys/mythrilAvatar von ConsenSys

    ConsenSys/mythril

    4,251Auf GitHub ansehen↗

    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
    Auf GitHub ansehen↗4,251
  • cyfrin/foundry-full-course-f23Avatar von Cyfrin

    Cyfrin/foundry-full-course-f23

    5,814Auf GitHub ansehen↗

    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

    Auf GitHub ansehen↗5,814
Alle 30 Alternativen zu Slither anzeigen→

Häufig gestellte Fragen

Was macht trailofbits/slither?

Static Analyzer for Solidity and Vyper

Was sind die Hauptfunktionen von trailofbits/slither?

Die Hauptfunktionen von trailofbits/slither sind: Smart Contract Auditing, Vyper Analyzers, Control-Flow Graph Constructions, Inheritance Graph Resolutions, Pattern-Based Vulnerability Detection, Smart Contract Language Frontends, Intermediate Representation Analysis, Solidity Vulnerability Detectors.

Welche Open-Source-Alternativen gibt es zu trailofbits/slither?

Open-Source-Alternativen zu trailofbits/slither sind unter anderem: crytic/slither. kadenzipfel/smart-contract-vulnerabilities — This project serves as a comprehensive knowledge base and technical reference for identifying and mitigating security… consensys/mythril — Mythril is an Ethereum Virtual Machine smart contract security analyzer that uses symbolic execution to identify… cyfrin/foundry-full-course-f23 — This repository is a comprehensive educational curriculum and programming guide designed to teach Solidity development… gcc-mirror/gcc — This project is a multi-language compiler collection and cross-platform toolchain used to translate source code from… slowmist/blockchain-dark-forest-selfguard-handbook — This project is a collection of instructional resources and manuals providing strategic defense frameworks for…