1 dépôt
Awesome GitHub RepositoriesIntermediate Representation Analyzers
Tools for performing deep structural inspection of compiler bytecode to analyze software logic without source code.
Distinct from Intermediate Representation Inspection: Distinct from Intermediate Representation Inspection: focuses on deep structural analysis for logic inspection rather than just debugging optimization passes.
Explore 1 awesome GitHub repository matching development tools & productivity · Intermediate Representation Analyzers. Refine with filters or upvote what's useful.
Awesome Intermediate Representation Analyzers 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
Processes compiler intermediate representations to perform deep structural inspection of software logic.
C++ccppdata-flow-analysis
