1 repositorio
Awesome GitHub RepositoriesInterprocedural Data-Flow Solvers
Algorithms that propagate information across function boundaries by iteratively computing state transitions through a global call graph.
Distinct from Interprocedural Pointer Analysis: Distinct from general pointer analysis: focuses on the iterative solver engine for data-flow propagation rather than just pointer tracking.
Explore 1 awesome GitHub repository matching programming languages & runtimes · Interprocedural Data-Flow Solvers. Refine with filters or upvote what's useful.
Awesome Interprocedural Data-Flow Solvers GitHub Repositories
Encuentra los mejores repositorios con IA.Buscaremos los repositorios que mejor coincidan usando IA.
- 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
Implements an interprocedural data flow solver to track information movement across function boundaries.
C++ccppdata-flow-analysis
