{"adoption": {"forks": 159, "observed_at": "2026-09-01T02:13:54.051702+00:00", "stars": 1162}, "canonical_url": "https://ross.abutalabs.com/products/alive2", "card": {"archived": false, "artifact_type": "library", "description": "Automatic verification of LLVM optimizations", "domain": ["compilers", "developer-tools", "programming-languages"], "enriched": true, "function": ["testing", "compiler", "interpreter", "developer-tools"], "health_score": 94, "homepage": null, "language": "C++", "license": "MIT", "license_family": "permissive", "maturity": "active", "member_repos": ["AliveToolkit/alive2"], "name": "AliveToolkit/alive2", "platform": ["windows", "cpp", "cli"], "pushed_at": "2026-08-31T14:03:31+00:00", "repo": "AliveToolkit/alive2", "stars": 1162, "tags": ["llvm", "translation-validation", "smt", "z3", "symbolic-execution", "formal-verification", "llvm-ir", "optimization-verifier", "algorithms", "linux", "macos"], "topics": ["llvm", "verification", "translation-validation", "automatic-verification", "smt", "llvm-ir", "symbolic-execution", "model-checking"], "urls": [], "use_cases": ["verify that an LLVM optimization pass preserves semantics", "check compiler transformations for miscompilation bugs", "run translation validation while compiling C/C++ with clang", "interpret LLVM IR with precise undefined behavior detection", "fuzz-test LLVM passes for correctness", "validate IR refinements with an SMT solver"], "what_it_is": "Alive2 is a set of C++ libraries and tools for automatically verifying LLVM code and optimization transformations using symbolic execution and SMT solving. It provides translation validation plugins for clang and LLVM's opt, a standalone verifier (alive-tv), and a UB-precise LLVM IR interpreter.", "when_to_avoid": ["you need inter-procedural transformation verification, which Alive2 does not support", "you work with languages or IRs other than LLVM IR", "you need a lightweight tool without building LLVM and Z3 from source"], "when_to_choose": ["you are developing or testing LLVM optimization passes and need automatic correctness checking", "you want to catch miscompilations in compiler transformations before they ship", "you need a UB-precise interpreter for LLVM IR"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/alive2", "repo": "AliveToolkit/alive2", "role": "main", "score": 71}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-09-01T02:13:54.051702+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-30T06:31:50.888032+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "f76a35f0c78500a37c0192f9b21f71e2060a32081e5a602e62634f9dc27ca509", "fetched_at": "2026-09-01T02:13:54.051702+00:00", "kind": "readme", "missing": false, "url": "https://github.com/AliveToolkit/alive2"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-09-01T02:13:54.051702+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-30T06:31:50.888032+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "f76a35f0c78500a37c0192f9b21f71e2060a32081e5a602e62634f9dc27ca509", "fetched_at": "2026-09-01T02:13:54.051702+00:00", "kind": "readme", "missing": false, "url": "https://github.com/AliveToolkit/alive2"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-30T06:31:50.888032+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "f76a35f0c78500a37c0192f9b21f71e2060a32081e5a602e62634f9dc27ca509", "fetched_at": "2026-09-01T02:13:54.051702+00:00", "kind": "readme", "missing": false, "url": "https://github.com/AliveToolkit/alive2"}], "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-01T02:13:54.051702+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-09-01T02:13:54.051702+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-09-01T02:13:54.051702+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-30T06:31:50.888032+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "f76a35f0c78500a37c0192f9b21f71e2060a32081e5a602e62634f9dc27ca509", "fetched_at": "2026-09-01T02:13:54.051702+00:00", "kind": "readme", "missing": false, "url": "https://github.com/AliveToolkit/alive2"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-09-01T02:13:54.051702+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-09-01T02:13:54.051702+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-30T06:31:50.888032+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "f76a35f0c78500a37c0192f9b21f71e2060a32081e5a602e62634f9dc27ca509", "fetched_at": "2026-09-01T02:13:54.051702+00:00", "kind": "readme", "missing": false, "url": "https://github.com/AliveToolkit/alive2"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-09-01T02:13:54.051702+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-09-01T02:13:54.051702+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-09-01T02:13:54.051702+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-30T06:31:50.888032+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "f76a35f0c78500a37c0192f9b21f71e2060a32081e5a602e62634f9dc27ca509", "fetched_at": "2026-09-01T02:13:54.051702+00:00", "kind": "readme", "missing": false, "url": "https://github.com/AliveToolkit/alive2"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-09-01T02:13:54.051702+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-09-01T02:13:54.051702+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-30T06:31:50.888032+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "f76a35f0c78500a37c0192f9b21f71e2060a32081e5a602e62634f9dc27ca509", "fetched_at": "2026-09-01T02:13:54.051702+00:00", "kind": "readme", "missing": false, "url": "https://github.com/AliveToolkit/alive2"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-30T06:31:50.888032+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "f76a35f0c78500a37c0192f9b21f71e2060a32081e5a602e62634f9dc27ca509", "fetched_at": "2026-09-01T02:13:54.051702+00:00", "kind": "readme", "missing": false, "url": "https://github.com/AliveToolkit/alive2"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-30T06:31:50.888032+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "f76a35f0c78500a37c0192f9b21f71e2060a32081e5a602e62634f9dc27ca509", "fetched_at": "2026-09-01T02:13:54.051702+00:00", "kind": "readme", "missing": false, "url": "https://github.com/AliveToolkit/alive2"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-30T06:31:50.888032+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "f76a35f0c78500a37c0192f9b21f71e2060a32081e5a602e62634f9dc27ca509", "fetched_at": "2026-09-01T02:13:54.051702+00:00", "kind": "readme", "missing": false, "url": "https://github.com/AliveToolkit/alive2"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 100, "longevity": 100, "rhythm": 18}, "computed_at": "2026-09-03T02:20:16.233290+00:00", "flags": [], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 3007, "days_push": 2, "days_rel": 386, "gap_med": 101.5, "n_releases_24m": 3}, "score": 71, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 5, "stale_scrape": false}}