SVF-tools/SVF

Health v2 · maintenance only

Flags: no_license

Adoption not part of the score

1705 stars · 495 forks observed · 2026-08-28

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded

SVF is a C++ static analysis framework built on LLVM that provides scalable and precise value-flow analysis and pointer analysis for source code. It offers reusable graphs, solvers, and analyses for detecting bugs such as memory leaks and incorrect file open/close errors.

Use cases

• perform pointer and points-to analysis on C/C++ programs
• detect memory leaks and source-sink bugs statically
• build custom static analyzers on top of LLVM IR
• compute value-flow dependence and program slicing
• analyze call graphs and interprocedural control-flow graphs
• teach or research static program analysis techniques

When to choose

• you need scalable, precise pointer or value-flow analysis for C/C++ code compiled to LLVM IR
• you are building a custom static analyzer or bug detector on LLVM
• you want an academically grounded framework with field-, flow-, and context-sensitive analyses

When to avoid

• your code does not compile to LLVM IR (e.g., Java or Rust - use Qilin or Rupta instead)
• you need dynamic/runtime analysis rather than static analysis
• you want a turnkey commercial-grade security scanner with minimal setup

Facets

library · maturity active

parser compiler developer-tools security developer-tools security programming-languages compilers cpp static-analysis pointer-analysis llvm value-flow bug-detection abstract-interpretation code-verification linux macos

Member repositories

For agents

markdown · JSON · MCP: product_card(name="SVF-tools/SVF")