1 dépôt
Awesome GitHub RepositoriesSparse Value-Flow Graph Generations
Generates directed graphs capturing definition-use chains for pointers and memory objects.
Distinct from Control-Flow Graph Generation: Distinct from Control-Flow Graph Generation by focusing on sparse value-flow and definition-use chains rather than basic block control paths.
Explore 1 awesome GitHub repository matching software engineering & architecture · Sparse Value-Flow Graph Generations. Refine with filters or upvote what's useful.
Awesome Sparse Value-Flow Graph Generations GitHub Repositories
Trouvez les meilleurs dépôts grâce à l'IA.Nous recherchons les dépôts les plus pertinents grâce à l'IA.
- svf-tools/svf
SVF-tools/SVF
1,684Voir sur 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
Builds directed graphs capturing definition-use chains for top-level pointers and address-taken objects.
C++code-analysiscode-securitydependency-analysis
