1 repositorio
Awesome GitHub RepositoriesSparse Value-Flow Graph Constructions
Builds directed graphs capturing precise data dependencies and variable modifications to enable scalable interprocedural taint and security tracking.
Distinct from Graph Construction Frameworks: Distinct from general graph construction frameworks by focusing specifically on sparse value-flow graph generation for program analysis.
Explore 1 awesome GitHub repository matching software engineering & architecture · Sparse Value-Flow Graph Constructions. Refine with filters or upvote what's useful.
Awesome Sparse Value-Flow Graph Constructions GitHub Repositories
Encuentra los mejores repositorios con IA.Buscaremos los repositorios que mejor coincidan usando IA.
- svf-tools/svf
SVF-tools/SVF
1,684Ver en 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 precise data dependencies and variable modifications to enable scalable interprocedural taint and security tracking.
C++code-analysiscode-securitydependency-analysis
