1 dépôt
Awesome GitHub RepositoriesCustom Data-Flow Analysis Frameworks
Frameworks for computing specific data flow characteristics by automating graph construction and memory analysis.
Distinct from Control Flow Analysis: Distinct from Control Flow Analysis: focuses on custom data-flow computation rather than just control-flow graph construction.
Explore 1 awesome GitHub repository matching part of an awesome list · Custom Data-Flow Analysis Frameworks. Refine with filters or upvote what's useful.
Awesome Custom Data-Flow Analysis Frameworks GitHub Repositories
Trouvez les meilleurs dépôts grâce à l'IA.Nous recherchons les dépôts les plus pertinents grâce à l'IA.
- secure-software-engineering/phasar
secure-software-engineering/phasar
1,045Voir sur 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
