SVF

Pointer Analysis and Program Dependence Analysis for C and C++ Programs

Main metrics

Overview

Name With OwnerSVF-tools/SVF
Primary LanguageC++
Program languageHTML (Language Count: 7)
Platform
License:Other
Release Count23
Last Release NameSVF-3.1 (Posted on )
First Release Namev1.0 (Posted on )
Created At2015-06-05 09:52:24
Pushed At2025-11-06 09:14:58
Last Commit At2025-11-06 09:14:58
Stargazers Count1628
Watchers Count54
Fork Count473
Commits Count4437
Has Issues Enabled
Issues Count666
Issue Open Count334
Pull Requests Count861
Pull Requests Open Count26
Pull Requests Close Count216
Has Wiki Enabled
Is Archived
Is Fork
Is Locked
Is Mirror
Is Private
To the top