1 个仓库
Awesome GitHub RepositoriesValue-Flow Graph Generators
A compiler-based tool that constructs sparse value-flow representations and control flow graphs to detect bugs, memory leaks, and information flows.
Distinct from Control-Flow Graph Generation: Distinct from control-flow graph generation by focusing on sparse value-flow graph constructions for bug and leak detection.
Explore 1 awesome GitHub repository matching software engineering & architecture · Value-Flow Graph Generators. Refine with filters or upvote what's useful.
Awesome Value-Flow Graph Generators GitHub Repositories
用 AI 发现最棒的仓库。我们将通过 AI 为您搜索最匹配的仓库。
- svf-tools/svf
SVF-tools/SVF
1,684在 GitHub 上查看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
A compiler-based tool that constructs sparse value-flow representations and control flow graphs to detect bugs, memory leaks, and information flows.
C++code-analysiscode-securitydependency-analysis
