3 مستودعات
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
اعثر على أفضل المستودعات باستخدام الذكاء الاصطناعي.سنبحث عن أفضل المستودعات المطابقة باستخدام الذكاء الاصطناعي.
- trailofbits/slither
trailofbits/slither
6,299عرض على GitHubStatic 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,466عرض على 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,045عرض على 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
Constructs call graphs, control flow graphs, and type hierarchies to support deep code analysis.
C++ccppdata-flow-analysis
