{"adoption": {"forks": 159, "observed_at": "2026-09-03T02:15:17.734865+00:00", "stars": 1053}, "canonical_url": "https://ross.abutalabs.com/products/phasar", "card": {"archived": false, "artifact_type": "framework", "description": "A LLVM-based static analysis framework.", "domain": ["security", "developer-tools", "programming-languages", "compilers"], "enriched": true, "function": ["linter", "parser", "compiler", "security", "developer-tools"], "health_score": 98, "homepage": null, "language": "C++", "license": "NOASSERTION", "license_family": "other", "maturity": "active", "member_repos": ["secure-software-engineering/phasar"], "name": "secure-software-engineering/phasar", "platform": ["cpp", "cross-platform"], "pushed_at": "2026-09-02T16:19:57+00:00", "repo": "secure-software-engineering/phasar", "stars": 1053, "tags": ["llvm", "data-flow-analysis", "ifds", "ide-solver", "taint-analysis", "points-to-analysis", "call-graph", "program-analysis", "linux", "macos"], "topics": ["llvm", "program-analysis", "data-flow-analysis", "c", "cpp", "static-analysis"], "urls": [], "use_cases": ["build a taint analysis for C/C++ code", "compute call graphs and points-to information from LLVM IR", "run interprocedural data-flow analysis with IFDS/IDE", "find security vulnerabilities via static analysis", "analyze C++ type hierarchies from LLVM bitcode", "prototype custom static analyses on LLVM IR"], "what_it_is": "PhASAR is a LLVM-based static analysis framework written in C++20 that solves user-specified data-flow problems automatically on LLVM IR. It provides IFDS/IDE, WPDS, and monotone solvers along with call-graph, points-to/alias, type-hierarchy, and taint analysis infrastructure.", "when_to_avoid": ["you need dynamic or runtime analysis rather than static analysis", "your code does not compile to LLVM IR", "you want a turnkey linter with no C++ development"], "when_to_choose": ["you need a programmable, solver-based static analysis framework over LLVM IR", "you want ready-made call-graph, alias, and ICFG infrastructure", "you are doing security research like taint or vulnerability analysis on C/C++"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/phasar", "repo": "secure-software-engineering/phasar", "role": "main", "score": 81}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-09-03T02:15:17.734865+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-30T06:59:02.891086+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "fdff3e2d397d697f97c8a982027d8d36dbf8702d796dcc81307754ffad80c2b3", "fetched_at": "2026-09-03T02:15:17.734865+00:00", "kind": "readme", "missing": false, "url": "https://github.com/secure-software-engineering/phasar"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-09-03T02:15:17.734865+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-30T06:59:02.891086+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "fdff3e2d397d697f97c8a982027d8d36dbf8702d796dcc81307754ffad80c2b3", "fetched_at": "2026-09-03T02:15:17.734865+00:00", "kind": "readme", "missing": false, "url": "https://github.com/secure-software-engineering/phasar"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-30T06:59:02.891086+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "fdff3e2d397d697f97c8a982027d8d36dbf8702d796dcc81307754ffad80c2b3", "fetched_at": "2026-09-03T02:15:17.734865+00:00", "kind": "readme", "missing": false, "url": "https://github.com/secure-software-engineering/phasar"}], "taxonomy_version": 1}, "health_score": {"inputs": ["days_since_push", "days_since_release", "archived"], "kind": "computed", "method": "health_v1"}, "homepage": {"kind": "observed", "observed_at": "2026-09-03T02:15:17.734865+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-09-03T02:15:17.734865+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-09-03T02:15:17.734865+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-30T06:59:02.891086+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "fdff3e2d397d697f97c8a982027d8d36dbf8702d796dcc81307754ffad80c2b3", "fetched_at": "2026-09-03T02:15:17.734865+00:00", "kind": "readme", "missing": false, "url": "https://github.com/secure-software-engineering/phasar"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-09-03T02:15:17.734865+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-09-03T02:15:17.734865+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-30T06:59:02.891086+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "fdff3e2d397d697f97c8a982027d8d36dbf8702d796dcc81307754ffad80c2b3", "fetched_at": "2026-09-03T02:15:17.734865+00:00", "kind": "readme", "missing": false, "url": "https://github.com/secure-software-engineering/phasar"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-09-03T02:15:17.734865+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-09-03T02:15:17.734865+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-09-03T02:15:17.734865+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-30T06:59:02.891086+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "fdff3e2d397d697f97c8a982027d8d36dbf8702d796dcc81307754ffad80c2b3", "fetched_at": "2026-09-03T02:15:17.734865+00:00", "kind": "readme", "missing": false, "url": "https://github.com/secure-software-engineering/phasar"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-09-03T02:15:17.734865+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-09-03T02:15:17.734865+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-30T06:59:02.891086+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "fdff3e2d397d697f97c8a982027d8d36dbf8702d796dcc81307754ffad80c2b3", "fetched_at": "2026-09-03T02:15:17.734865+00:00", "kind": "readme", "missing": false, "url": "https://github.com/secure-software-engineering/phasar"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-30T06:59:02.891086+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "fdff3e2d397d697f97c8a982027d8d36dbf8702d796dcc81307754ffad80c2b3", "fetched_at": "2026-09-03T02:15:17.734865+00:00", "kind": "readme", "missing": false, "url": "https://github.com/secure-software-engineering/phasar"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-30T06:59:02.891086+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "fdff3e2d397d697f97c8a982027d8d36dbf8702d796dcc81307754ffad80c2b3", "fetched_at": "2026-09-03T02:15:17.734865+00:00", "kind": "readme", "missing": false, "url": "https://github.com/secure-software-engineering/phasar"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-30T06:59:02.891086+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "fdff3e2d397d697f97c8a982027d8d36dbf8702d796dcc81307754ffad80c2b3", "fetched_at": "2026-09-03T02:15:17.734865+00:00", "kind": "readme", "missing": false, "url": "https://github.com/secure-software-engineering/phasar"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 100, "longevity": 100, "rhythm": 46}, "computed_at": "2026-09-03T02:20:16.233290+00:00", "flags": ["no_license"], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 3044, "days_push": 0, "days_rel": 145, "gap_med": 195.5, "n_releases_24m": 3}, "score": 81, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 3, "stale_scrape": false}}