{"adoption": {"forks": 220, "observed_at": "2026-08-28T04:07:46.548579+00:00", "stars": 3160}, "canonical_url": "https://ross.abutalabs.com/products/ikos", "card": {"archived": false, "artifact_type": "cli-tool", "description": "Static analyzer for C/C++ based on the theory of Abstract Interpretation.", "domain": ["developer-tools", "security", "programming-languages"], "enriched": true, "function": ["security", "testing", "parser", "developer-tools"], "health_score": 81, "homepage": null, "language": "C++", "license": "NOASSERTION", "license_family": "other", "maturity": "active", "member_repos": ["NASA-SW-VnV/ikos"], "name": "NASA-SW-VnV/ikos", "platform": ["cpp", "cli"], "pushed_at": "2026-05-31T18:45:21+00:00", "repo": "NASA-SW-VnV/ikos", "stars": 3160, "tags": ["static-analysis", "abstract-interpretation", "llvm", "c", "cpp", "software-verification", "runtime-error-detection", "nasa", "algorithms", "linux", "macos"], "topics": ["static-analysis", "software-verification", "abstract-interpretation", "program-analysis"], "urls": [], "use_cases": ["detect buffer overflows in C programs", "prove absence of runtime errors in C/C++ code", "statically analyze C/C++ codebases for safety", "build custom sound static analyzers with abstract interpretation", "verify safety-critical C/C++ software", "find undefined behavior like out-of-bounds array access"], "what_it_is": "IKOS is a static analyzer for C and C++ programs based on the theory of Abstract Interpretation, built on LLVM. It provides reusable abstract interpretation data structures and algorithms, and detects or proves the absence of runtime errors such as buffer overflows.", "when_to_avoid": ["you need dynamic testing or fuzzing instead of static analysis", "you want a quick linter with low setup cost", "you analyze languages other than C/C++", "you need Windows-native support without WSL"], "when_to_choose": ["you need sound, formal static analysis of C/C++ code", "you want to prove absence of runtime errors rather than just lint", "you're developing a custom abstract interpretation analyzer", "you work on safety-critical software requiring rigorous verification"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/ikos", "repo": "NASA-SW-VnV/ikos", "role": "main", "score": 64}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:07:46.548579+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-29T18:45:32.950908+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "b97bebb16fc6c248e605723fa29724dd6d2ebbae1b412659561cc1ba2d9a0ba2", "fetched_at": "2026-08-28T04:07:46.548579+00:00", "kind": "readme", "missing": false, "url": "https://github.com/NASA-SW-VnV/ikos"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:07:46.548579+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-29T18:45:32.950908+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "b97bebb16fc6c248e605723fa29724dd6d2ebbae1b412659561cc1ba2d9a0ba2", "fetched_at": "2026-08-28T04:07:46.548579+00:00", "kind": "readme", "missing": false, "url": "https://github.com/NASA-SW-VnV/ikos"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-29T18:45:32.950908+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "b97bebb16fc6c248e605723fa29724dd6d2ebbae1b412659561cc1ba2d9a0ba2", "fetched_at": "2026-08-28T04:07:46.548579+00:00", "kind": "readme", "missing": false, "url": "https://github.com/NASA-SW-VnV/ikos"}], "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:07:46.548579+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:07:46.548579+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:07:46.548579+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-29T18:45:32.950908+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "b97bebb16fc6c248e605723fa29724dd6d2ebbae1b412659561cc1ba2d9a0ba2", "fetched_at": "2026-08-28T04:07:46.548579+00:00", "kind": "readme", "missing": false, "url": "https://github.com/NASA-SW-VnV/ikos"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:07:46.548579+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:07:46.548579+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-29T18:45:32.950908+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "b97bebb16fc6c248e605723fa29724dd6d2ebbae1b412659561cc1ba2d9a0ba2", "fetched_at": "2026-08-28T04:07:46.548579+00:00", "kind": "readme", "missing": false, "url": "https://github.com/NASA-SW-VnV/ikos"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:07:46.548579+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:07:46.548579+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:07:46.548579+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-29T18:45:32.950908+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "b97bebb16fc6c248e605723fa29724dd6d2ebbae1b412659561cc1ba2d9a0ba2", "fetched_at": "2026-08-28T04:07:46.548579+00:00", "kind": "readme", "missing": false, "url": "https://github.com/NASA-SW-VnV/ikos"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:07:46.548579+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:07:46.548579+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-29T18:45:32.950908+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "b97bebb16fc6c248e605723fa29724dd6d2ebbae1b412659561cc1ba2d9a0ba2", "fetched_at": "2026-08-28T04:07:46.548579+00:00", "kind": "readme", "missing": false, "url": "https://github.com/NASA-SW-VnV/ikos"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-29T18:45:32.950908+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "b97bebb16fc6c248e605723fa29724dd6d2ebbae1b412659561cc1ba2d9a0ba2", "fetched_at": "2026-08-28T04:07:46.548579+00:00", "kind": "readme", "missing": false, "url": "https://github.com/NASA-SW-VnV/ikos"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-29T18:45:32.950908+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "b97bebb16fc6c248e605723fa29724dd6d2ebbae1b412659561cc1ba2d9a0ba2", "fetched_at": "2026-08-28T04:07:46.548579+00:00", "kind": "readme", "missing": false, "url": "https://github.com/NASA-SW-VnV/ikos"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-29T18:45:32.950908+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "b97bebb16fc6c248e605723fa29724dd6d2ebbae1b412659561cc1ba2d9a0ba2", "fetched_at": "2026-08-28T04:07:46.548579+00:00", "kind": "readme", "missing": false, "url": "https://github.com/NASA-SW-VnV/ikos"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 85, "longevity": 100, "rhythm": 16}, "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": 3242, "days_push": 94, "days_rel": 610, "gap_med": 91, "n_releases_24m": 2}, "score": 64, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}