BetaRare
SVF-tools/SVF
Static Value-Flow Analysis Framework for Source Code
- Owner
- SVF-tools (personal account)
- Stars
- Stars: 1,716
- Forks
- Forks: 500
- Language
- C++
- License
- None
- Created
- 2015
- Topics
- static-analysisstatic-value-flowsource-code-analysispointer-analysisllvmdependency-analysiscode-analysispoints-to-analysisstatic-analyzerabstract-interpretation
- Tier
- Beta (700 to 1,999 ★) What this tier means
More repos by SVF-tools
All 3 repos by SVF-tools- SVF-tools/Software-Analysis-StudioStars: 218C++Prototype
- SVF-tools/Software-Security-AnalysisStars: 101LLVMPrototype
Nearby in C++
All C++ repos- ethz-adrl/control-toolboxStars: 1,719C++Beta
- bwapi/bwapiStars: 1,718C++Beta
- Tencent/paxosstoreStars: 1,718C++Beta
- Kitware/ParaViewStars: 1,715C++Beta
- hkneptune/FreeFileSyncStars: 1,715C++Beta
- 4paradigm/OpenMLDBStars: 1,715C++Beta