SVF-tools/SVF

Static Value-Flow Analysis Framework for Source Code

C++COtherllvmstatic-analysisdependency-analysiscode-analysisstatic-analyzerpointer-analysispoints-to-analysissource-code-analysiscode-securitystatic-value-flow
This is stars and forks stats for /SVF-tools/SVF repository. As of 29 Apr, 2024 this repository has 1134 stars and 380 forks.

News SVF now supports LLVM-13.0.0 (Thank Shengjie Xu for his help!). Object clustering published in our OOPSLA paper is now available in SVF Hash-Consed Points-To Sets published in our SAS paper is now available in SVF Learning or teaching Software Analysis? Check out SVF-Teaching! SVF now supports LLVM-12.0.0 (Thank Xiyu Yang for her help!). VSFS published in our CGO paper is now available in SVF TypeClone published in our ECOOP paper is now available in SVF SVF now uses a single script...
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
dendibakh/perf-ninjaC++CPython1.7k01580
apache/thriftC++JavaC9.9k04k0
SpiderLabs/ModSecurityC++CM46.9k01.5k0
blawar/oootC++CPython6880990
PaddlePaddle/PaddleSpeechPythonC++Shell8.8k01.6k0
google/ireeC++MLIRC2k04700
yoninazarathy/MathematicalEngineeringDeepLearningHTMLJupyter NotebookOther3230570
vasturiano/3d-force-graphHTMLJavaScriptCSS3.9k+31736+3
OWASP/NettackerPythonCSSJavaScript2.6k06700
zhaojun1998/zfileJavaHTMLOther7.9k01.6k0