SVF-tools / SVF

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

Static Value-Flow Analysis Framework for Source Code

—

stars, 24h

—

stars, 7 days

—

stars, 30 days

1.7k

★ total

501

forks · 216 open issues

Star history starts 2026-10-20; the chart appears after the second daily snapshot.

LanguageC++

License—

Created2015-06-05 (11y ago)

Last pushtoday

OwnerUser

GitHub topics

abstract-interpretation bug-detection code-analysis code-verification dependency-analysis llvm pointer-analysis points-to-analysis source-code-analysis static-analysis static-analyzer static-value-flow

Links

GitHub: github.com/SVF-tools/SVF
Homepage: http://svf-tools.github.io/SVF/
Releases · Issues · Hacker News mentions