1 repositorio
Awesome GitHub RepositoriesProgram Representation Builders
Libraries for constructing call graphs, control flow graphs, and type hierarchies from intermediate code.
Distinct from Control-Flow Graph Constructions: Distinct from Control-Flow Graph Constructions: focuses on building multiple types of program representations (call, control, type) rather than just control-flow graphs.
Explore 1 awesome GitHub repository matching part of an awesome list · Program Representation Builders. Refine with filters or upvote what's useful.
Awesome Program Representation Builders 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
Constructs call graphs, control flow graphs, and type hierarchies to support deep code analysis.
C++ccppdata-flow-analysis
