1 مستودع
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
اعثر على أفضل المستودعات باستخدام الذكاء الاصطناعي.سنبحث عن أفضل المستودعات المطابقة باستخدام الذكاء الاصطناعي.
- 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
Enables the development of custom analysis tools for computing specific data flow characteristics.
C++ccppdata-flow-analysis
