SVF-tools/SVF

SVF

✅ Recently maintained

Static Value-Flow Analysis Framework for Source Code

1,716Stars
499Forks
+27-day stars

C++ · License unverified · Last push 2026-11-03

Official repository & installation ↗
static-analysisstatic-value-flowsource-code-analysispointer-analysisllvmdependency-analysiscode-analysispoints-to-analysisstatic-analyzerabstract-interpretation

GitValue · Value evidence

Unscored · Evidence coverage 0%

Provisional rubric; documentation and runtime testing are separate. Missing evidence does not imply low value.

Star history

2025-09-292026-11-03
View historical data
DateStars
2026-10-051,711
2026-10-061,711
2026-10-071,712
2026-10-081,712
2026-10-091,713
2026-10-101,713
2026-10-111,713
2026-10-121,713
2026-10-131,713
2026-10-141,713
2026-10-151,713
2026-10-161,713
2026-10-171,713
2026-10-181,713
2026-10-191,714
2026-10-201,714
2026-10-211,714
2026-10-221,714
2026-10-231,714
2026-10-241,714
2026-10-251,714
2026-10-261,714
2026-10-271,714
2026-10-281,715
2026-10-291,715
2026-10-301,715
2026-10-311,715
2026-11-011,717
2026-11-021,716
2026-11-031,716

Get the project

git clone https://github.com/SVF-tools/SVF.git

Cloning downloads the source. For dependencies and installation, follow the project README.

Related projects & alternative candidates

Related domains do not imply feature parity. Review official documentation and licenses.