1 مستودع
Awesome GitHub RepositoriesPointer Alias Resolution Engines
Engines that resolve memory reference relationships to determine if multiple variables point to the same location.
Distinct from Points-to Analysis Engines: Distinct from Points-to Analysis Engines: focuses on the resolution engine for alias identification rather than general points-to analysis.
Explore 1 awesome GitHub repository matching operating systems & systems programming · Pointer Alias Resolution Engines. Refine with filters or upvote what's useful.
Awesome Pointer Alias Resolution Engines GitHub Repositories
اعثر على أفضل المستودعات باستخدام الذكاء الاصطناعي.سنبحث عن أفضل المستودعات المطابقة باستخدام الذكاء الاصطناعي.
- 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
Resolves memory reference relationships to identify indirect memory access patterns.
C++ccppdata-flow-analysis
