1 repositorio
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
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
Identifies source-sink related programming errors and memory safety issues using abstract execution techniques.
C++code-analysiscode-securitydependency-analysis
