1 个仓库
Awesome GitHub RepositoriesSoftware Vulnerability Detectors
Identifies programming errors and memory safety issues using static analysis techniques.
Distinct from Privacy Leak Detection: Distinct from Privacy Leak Detection by focusing on general memory safety errors and vulnerability identification rather than privacy compliance leaks.
Explore 1 awesome GitHub repository matching security & cryptography · Software Vulnerability Detectors. Refine with filters or upvote what's useful.
Awesome Software Vulnerability Detectors 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
Identifies source-sink related programming errors and memory safety issues using abstract execution techniques.
C++code-analysiscode-securitydependency-analysis
