4 repositorios
Awesome GitHub RepositoriesControl Flow Analysis
Constructs call graphs and control-flow graphs from smart contract bytecode to trace execution paths and identify unsafe code patterns.
Distinct from Smart Contract Analysis: Distinct from Smart Contract Analysis: focuses specifically on control flow and call graph construction rather than general security analysis.
Explore 4 awesome GitHub repositories matching part of an awesome list · Control Flow Analysis. Refine with filters or upvote what's useful.
Awesome Control Flow Analysis GitHub Repositories
Encuentra los mejores repositorios con IA.Buscaremos los repositorios que mejor coincidan usando IA.
- trailofbits/slither
trailofbits/slither
6,299Ver en GitHubStatic Analyzer for Solidity and Vyper
Constructs control-flow and call graphs from smart contract bytecode for path-sensitive analysis.
Python - crytic/slither
crytic/slither
6,141Ver en GitHubConstructs call graphs and control-flow graphs from smart contract bytecode to trace execution paths and identify unsafe code patterns.
Pythonethereumsoliditystatic-analysis - kadenzipfel/smart-contract-vulnerabilities
kadenzipfel/smart-contract-vulnerabilities
2,466Ver en GitHubThis 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 - secure-software-engineering/phasar
secure-software-engineering/phasar
1,045Ver en GitHubPhasar 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
Enables the development of custom analysis tools for computing specific data flow characteristics.
C++ccppdata-flow-analysis
