1 مستودع
Visual representations of program structures, call graphs, and data dependencies.
Distinct from Execution Graph Analysis: Distinct from Execution Graph Analysis: focuses on general structural code graphs rather than register ancestry tracking.
Explore 1 awesome GitHub repository matching testing & quality assurance · Code Structure Visualizations. Refine with filters or upvote what's useful.
SVF is an open-source static program analysis framework and points-to analysis library that tracks memory references, variable aliases, and data dependencies across whole programs. The platform translates compiled intermediate code formats into unified internal representations, constructing constraint graphs, call graphs, and control-flow graphs to model interprocedural execution behavior and memory state. The framework incorporates specialized engines for flow-sensitive, flow-insensitive, and context-sensitive pointer analysis alongside sparse value-flow graph generation. It features memory
Produces call graphs and control flow graphs to visualize program structure and data dependencies.