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
·

3 repository-uri

Awesome GitHub RepositoriesControl-Flow Graph Constructions

Builds detailed control-flow and call graphs from contract bytecode to enable path-sensitive analysis and visualization.

Distinct from Control Flow Analysis: Distinct from Control Flow Analysis: focuses on the construction of graphs from bytecode rather than general analysis of execution paths.

Explore 3 awesome GitHub repositories matching part of an awesome list · Control-Flow Graph Constructions. Refine with filters or upvote what's useful.

Awesome Control-Flow Graph Constructions GitHub Repositories

Găsește cele mai bune repo-uri cu AI.Vom căuta cele mai potrivite repository-uri folosind AI.
  • trailofbits/slitherAvatar trailofbits

    trailofbits/slither

    6,299Vezi pe GitHub↗

    Static Analyzer for Solidity and Vyper

    Constructs control-flow and call graphs from smart contract bytecode for path-sensitive analysis.

    Python
    Vezi pe GitHub↗6,299
  • kadenzipfel/smart-contract-vulnerabilitiesAvatar kadenzipfel

    kadenzipfel/smart-contract-vulnerabilities

    2,466Vezi pe GitHub↗

    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

    Constructs control-flow graphs from bytecode to identify reentrancy and race conditions.

    blockchainethereumsecurity
    Vezi pe GitHub↗2,466
  • secure-software-engineering/phasarAvatar secure-software-engineering

    secure-software-engineering/phasar

    1,045Vezi pe GitHub↗

    Phasar is a static analysis framework designed for the inspection of software logic through the processing of compiler intermediate representations. It provides a modular pipeline for building program representations, including call graphs, control flow graphs, and type hierarchies, which serve as the foundation for deep structural analysis of software behavior. The framework specializes in interprocedural data flow analysis and pointer alias resolution, enabling the tracking of information movement across function boundaries and the identification of indirect memory access patterns. By lever

    Constructs call graphs, control flow graphs, and type hierarchies to support deep code analysis.

    C++ccppdata-flow-analysis
    Vezi pe GitHub↗1,045
  1. Home
  2. Part of an Awesome List
  3. Developer Tools
  4. Smart Contract Analysis
  5. Control Flow Analysis
  6. Control-Flow Graph Constructions

Explorează sub-etichetele

  • Program Representation BuildersLibraries for constructing call graphs, control flow graphs, and type hierarchies from intermediate code. **Distinct from Control-Flow Graph Constructions:** Distinct from Control-Flow Graph Constructions: focuses on building multiple types of program representations (call, control, type) rather than just control-flow graphs.