{"adoption": {"forks": 495, "observed_at": "2026-08-28T04:05:24.799542+00:00", "stars": 1705}, "canonical_url": "https://ross.abutalabs.com/products/svf", "card": {"archived": false, "artifact_type": "library", "description": "Static Value-Flow Analysis Framework for Source Code", "domain": ["developer-tools", "security", "programming-languages", "compilers"], "enriched": true, "function": ["parser", "compiler", "developer-tools", "security"], "health_score": 99, "homepage": "http://svf-tools.github.io/SVF/", "language": "C++", "license": "NOASSERTION", "license_family": "other", "maturity": "active", "member_repos": ["SVF-tools/SVF"], "name": "SVF-tools/SVF", "platform": ["cpp"], "pushed_at": "2026-08-24T11:31:31+00:00", "repo": "SVF-tools/SVF", "stars": 1705, "tags": ["static-analysis", "pointer-analysis", "llvm", "value-flow", "bug-detection", "abstract-interpretation", "code-verification", "linux", "macos"], "topics": ["static-analysis", "static-value-flow", "source-code-analysis", "pointer-analysis", "llvm", "dependency-analysis", "code-analysis", "points-to-analysis", "static-analyzer", "abstract-interpretation", "bug-detection", "code-verification"], "urls": [], "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"], "what_it_is": "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.", "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"], "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"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/svf", "repo": "SVF-tools/SVF", "role": "main", "score": 86}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:05:24.799542+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-30T03:37:31.072221+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "87ab2594c50f7366dd1ed6413d65f0c49a1c24626897598a02190dd35891cb48", "fetched_at": "2026-08-28T04:05:24.799542+00:00", "kind": "readme", "missing": false, "url": "https://github.com/SVF-tools/SVF"}, {"content_hash": "7c2c5b28a0653350ef02ee1882d0bcf0091e3a4c33cb4247f6f08b040b3c10d0", "fetched_at": "2026-08-29T11:11:38.392238+00:00", "kind": "homepage", "missing": false, "url": "http://svf-tools.github.io/SVF/"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:05:24.799542+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-30T03:37:31.072221+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "87ab2594c50f7366dd1ed6413d65f0c49a1c24626897598a02190dd35891cb48", "fetched_at": "2026-08-28T04:05:24.799542+00:00", "kind": "readme", "missing": false, "url": "https://github.com/SVF-tools/SVF"}, {"content_hash": "7c2c5b28a0653350ef02ee1882d0bcf0091e3a4c33cb4247f6f08b040b3c10d0", "fetched_at": "2026-08-29T11:11:38.392238+00:00", "kind": "homepage", "missing": false, "url": "http://svf-tools.github.io/SVF/"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-30T03:37:31.072221+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "87ab2594c50f7366dd1ed6413d65f0c49a1c24626897598a02190dd35891cb48", "fetched_at": "2026-08-28T04:05:24.799542+00:00", "kind": "readme", "missing": false, "url": "https://github.com/SVF-tools/SVF"}, {"content_hash": "7c2c5b28a0653350ef02ee1882d0bcf0091e3a4c33cb4247f6f08b040b3c10d0", "fetched_at": "2026-08-29T11:11:38.392238+00:00", "kind": "homepage", "missing": false, "url": "http://svf-tools.github.io/SVF/"}], "taxonomy_version": 1}, "health_score": {"inputs": ["days_since_push", "days_since_release", "archived"], "kind": "computed", "method": "health_v1"}, "homepage": {"kind": "observed", "observed_at": "2026-08-28T04:05:24.799542+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:05:24.799542+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:05:24.799542+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-30T03:37:31.072221+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "87ab2594c50f7366dd1ed6413d65f0c49a1c24626897598a02190dd35891cb48", "fetched_at": "2026-08-28T04:05:24.799542+00:00", "kind": "readme", "missing": false, "url": "https://github.com/SVF-tools/SVF"}, {"content_hash": "7c2c5b28a0653350ef02ee1882d0bcf0091e3a4c33cb4247f6f08b040b3c10d0", "fetched_at": "2026-08-29T11:11:38.392238+00:00", "kind": "homepage", "missing": false, "url": "http://svf-tools.github.io/SVF/"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:05:24.799542+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:05:24.799542+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-30T03:37:31.072221+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "87ab2594c50f7366dd1ed6413d65f0c49a1c24626897598a02190dd35891cb48", "fetched_at": "2026-08-28T04:05:24.799542+00:00", "kind": "readme", "missing": false, "url": "https://github.com/SVF-tools/SVF"}, {"content_hash": "7c2c5b28a0653350ef02ee1882d0bcf0091e3a4c33cb4247f6f08b040b3c10d0", "fetched_at": "2026-08-29T11:11:38.392238+00:00", "kind": "homepage", "missing": false, "url": "http://svf-tools.github.io/SVF/"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:05:24.799542+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:05:24.799542+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:05:24.799542+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-30T03:37:31.072221+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "87ab2594c50f7366dd1ed6413d65f0c49a1c24626897598a02190dd35891cb48", "fetched_at": "2026-08-28T04:05:24.799542+00:00", "kind": "readme", "missing": false, "url": "https://github.com/SVF-tools/SVF"}, {"content_hash": "7c2c5b28a0653350ef02ee1882d0bcf0091e3a4c33cb4247f6f08b040b3c10d0", "fetched_at": "2026-08-29T11:11:38.392238+00:00", "kind": "homepage", "missing": false, "url": "http://svf-tools.github.io/SVF/"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:05:24.799542+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:05:24.799542+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-30T03:37:31.072221+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "87ab2594c50f7366dd1ed6413d65f0c49a1c24626897598a02190dd35891cb48", "fetched_at": "2026-08-28T04:05:24.799542+00:00", "kind": "readme", "missing": false, "url": "https://github.com/SVF-tools/SVF"}, {"content_hash": "7c2c5b28a0653350ef02ee1882d0bcf0091e3a4c33cb4247f6f08b040b3c10d0", "fetched_at": "2026-08-29T11:11:38.392238+00:00", "kind": "homepage", "missing": false, "url": "http://svf-tools.github.io/SVF/"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-30T03:37:31.072221+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "87ab2594c50f7366dd1ed6413d65f0c49a1c24626897598a02190dd35891cb48", "fetched_at": "2026-08-28T04:05:24.799542+00:00", "kind": "readme", "missing": false, "url": "https://github.com/SVF-tools/SVF"}, {"content_hash": "7c2c5b28a0653350ef02ee1882d0bcf0091e3a4c33cb4247f6f08b040b3c10d0", "fetched_at": "2026-08-29T11:11:38.392238+00:00", "kind": "homepage", "missing": false, "url": "http://svf-tools.github.io/SVF/"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-30T03:37:31.072221+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "87ab2594c50f7366dd1ed6413d65f0c49a1c24626897598a02190dd35891cb48", "fetched_at": "2026-08-28T04:05:24.799542+00:00", "kind": "readme", "missing": false, "url": "https://github.com/SVF-tools/SVF"}, {"content_hash": "7c2c5b28a0653350ef02ee1882d0bcf0091e3a4c33cb4247f6f08b040b3c10d0", "fetched_at": "2026-08-29T11:11:38.392238+00:00", "kind": "homepage", "missing": false, "url": "http://svf-tools.github.io/SVF/"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-30T03:37:31.072221+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "87ab2594c50f7366dd1ed6413d65f0c49a1c24626897598a02190dd35891cb48", "fetched_at": "2026-08-28T04:05:24.799542+00:00", "kind": "readme", "missing": false, "url": "https://github.com/SVF-tools/SVF"}, {"content_hash": "7c2c5b28a0653350ef02ee1882d0bcf0091e3a4c33cb4247f6f08b040b3c10d0", "fetched_at": "2026-08-29T11:11:38.392238+00:00", "kind": "homepage", "missing": false, "url": "http://svf-tools.github.io/SVF/"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 99, "longevity": 100, "rhythm": 60}, "computed_at": "2026-09-03T02:39:23.370411+00:00", "flags": ["no_license"], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 4108, "days_push": 9, "days_rel": 106, "gap_med": 174.0, "n_releases_24m": 3}, "score": 86, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}