3 Repos
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
Finde die besten Repos mit KI.Wir suchen mit KI nach den am besten passenden Repositories.
- trailofbits/slither
trailofbits/slither
6,299Auf GitHub ansehenStatic Analyzer for Solidity and Vyper
Constructs control-flow and call graphs from smart contract bytecode for path-sensitive analysis.
Python - kadenzipfel/smart-contract-vulnerabilities
kadenzipfel/smart-contract-vulnerabilities
2,466Auf GitHub ansehenThis 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,045Auf GitHub ansehenPhasar 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
