1 مستودع
Awesome GitHub RepositoriesAssignment Graph Modelers
Tools constructing program assignment graphs with typed nodes and edges for constraints.
Distinct from Static Single Assignment Analysis: Distinct from Static Single Assignment Analysis: focuses on explicit graph modeling of assignments rather than general SSA transformation.
Explore 1 awesome GitHub repository matching programming languages & runtimes · Assignment Graph Modelers. Refine with filters or upvote what's useful.
Awesome Assignment Graph Modelers GitHub Repositories
اعثر على أفضل المستودعات باستخدام الذكاء الاصطناعي.سنبحث عن أفضل المستودعات المطابقة باستخدام الذكاء الاصطناعي.
- svf-tools/svf
SVF-tools/SVF
1,684عرض على GitHubSVF 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
Constructs detailed program assignment graphs representing pointer values and memory objects.
C++code-analysiscode-securitydependency-analysis
