1 مستودع
Awesome GitHub RepositoriesData-Flow Path Reconstructors
Tools that trace execution sequences from analysis results to visualize data propagation.
Distinct from Control Flow Analysis: Distinct from Control Flow Analysis: focuses on path reconstruction from data-flow results rather than just control-flow graph construction.
Explore 1 awesome GitHub repository matching part of an awesome list · Data-Flow Path Reconstructors. Refine with filters or upvote what's useful.
Awesome Data-Flow Path Reconstructors 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
Traces execution sequences to provide insights into how data propagates through software.
C++ccppdata-flow-analysis
