{"adoption": {"forks": 736, "observed_at": "2026-08-28T04:07:32.836635+00:00", "stars": 2974}, "canonical_url": "https://ross.abutalabs.com/products/klee", "card": {"archived": false, "artifact_type": "cli-tool", "description": "KLEE Symbolic Execution Engine", "domain": ["testing", "developer-tools"], "enriched": true, "function": ["testing", "fuzzing", "interpreter", "developer-tools"], "health_score": 95, "homepage": "https://klee-se.org/", "language": "C++", "license": "NOASSERTION", "license_family": "other", "maturity": "active", "member_repos": ["klee/klee"], "name": "klee/klee", "platform": ["cpp", "bsd"], "pushed_at": "2026-08-21T13:27:24+00:00", "repo": "klee/klee", "stars": 2974, "tags": ["symbolic-execution", "llvm", "smt-solver", "program-analysis", "test-generation", "formal-verification", "algorithms", "linux", "macos", "docker"], "topics": ["symbolic-execution", "klee"], "urls": [], "use_cases": ["automatically generate high-coverage test cases for C programs", "find memory corruption and integer overflow bugs in C/C++ code", "symbolically execute LLVM bitcode to explore program paths", "test GNU coreutils-style command-line programs with symbolic arguments and files", "verify program properties using constraint solving", "research on symbolic execution and program analysis"], "what_it_is": "KLEE is a dynamic symbolic execution engine and symbolic virtual machine built on LLVM, which executes programs with symbolic inputs to automatically generate high-coverage test cases and find bugs. It includes a POSIX/Linux emulation layer, constraint solving, and auxiliary tools for replaying and analyzing generated test inputs.", "when_to_avoid": ["you need to test interpreted or managed languages not compiled to LLVM bitcode", "you want lightweight fuzzing without constraint solving overhead", "your codebase cannot be compiled with clang/LLVM", "you need Windows-native execution support"], "when_to_choose": ["you need automated test generation or bug finding for C/C++ programs compiled to LLVM bitcode", "you want to explore many execution paths without writing concrete inputs", "you are doing academic research on symbolic execution", "you need to test programs with symbolic files, arguments, or environment variables"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/klee", "repo": "klee/klee", "role": "main", "score": 75}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:07:32.836635+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-30T07:31:35.850664+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "69810a94538bad10127cfa03587b74c601ad40444cf843c469f241efbc6d0d01", "fetched_at": "2026-08-28T04:07:32.836635+00:00", "kind": "readme", "missing": false, "url": "https://github.com/klee/klee"}, {"content_hash": "22ea8b80d421550c01db7042f859006f7fd2427215a31be14709c79c059cd029", "fetched_at": "2026-08-29T09:46:56.628868+00:00", "kind": "homepage", "missing": false, "url": "https://klee-se.org/"}, {"content_hash": "f835acaded248150ff80b53d991c342fb13be5085df15ee16b117acd8d8ffb11", "fetched_at": "2026-08-29T09:46:56.637836+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/getting-started"}, {"content_hash": "900e5c0472dcddca6df42bb19832e90a02815fd403f8f644f46e0871ac6375a4", "fetched_at": "2026-08-29T09:46:56.639578+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs"}, {"content_hash": "f379ff40919aa3357b7e460d479d609a4d270818577a2312dabc879f27b5c439", "fetched_at": "2026-08-29T09:46:56.643071+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs/intrinsics"}, {"content_hash": "a9077b2991aa7850535055924636770ed633a2ecea791d0e2dee4902ea84dfb2", "fetched_at": "2026-08-29T09:46:56.644875+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs/options"}, {"content_hash": "ed6b5800d64ef7cd56e1260f8fe6287cf96773d65c0ba3060a5da142da36409b", "fetched_at": "2026-08-29T09:46:56.646900+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs/tools"}, {"content_hash": "273b74d9ac2ddb62ed0687173a865e8c301274d92140d0d3f1ca8d14d0b03c11", "fetched_at": "2026-08-29T09:46:56.653681+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs/developers-guide"}, {"content_hash": "75c7e9a72a1c2a557d9aac909d2df99fdff85ba5426d756a9429cb6a1dd8868e", "fetched_at": "2026-08-29T09:46:56.641402+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/releases"}, {"content_hash": "827336dd55303177b7899873a42c15f00b659e8312308747cc43e47c1a2450c9", "fetched_at": "2026-08-29T09:46:56.649550+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/publications"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:07:32.836635+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-30T07:31:35.850664+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "69810a94538bad10127cfa03587b74c601ad40444cf843c469f241efbc6d0d01", "fetched_at": "2026-08-28T04:07:32.836635+00:00", "kind": "readme", "missing": false, "url": "https://github.com/klee/klee"}, {"content_hash": "22ea8b80d421550c01db7042f859006f7fd2427215a31be14709c79c059cd029", "fetched_at": "2026-08-29T09:46:56.628868+00:00", "kind": "homepage", "missing": false, "url": "https://klee-se.org/"}, {"content_hash": "f835acaded248150ff80b53d991c342fb13be5085df15ee16b117acd8d8ffb11", "fetched_at": "2026-08-29T09:46:56.637836+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/getting-started"}, {"content_hash": "900e5c0472dcddca6df42bb19832e90a02815fd403f8f644f46e0871ac6375a4", "fetched_at": "2026-08-29T09:46:56.639578+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs"}, {"content_hash": "f379ff40919aa3357b7e460d479d609a4d270818577a2312dabc879f27b5c439", "fetched_at": "2026-08-29T09:46:56.643071+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs/intrinsics"}, {"content_hash": "a9077b2991aa7850535055924636770ed633a2ecea791d0e2dee4902ea84dfb2", "fetched_at": "2026-08-29T09:46:56.644875+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs/options"}, {"content_hash": "ed6b5800d64ef7cd56e1260f8fe6287cf96773d65c0ba3060a5da142da36409b", "fetched_at": "2026-08-29T09:46:56.646900+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs/tools"}, {"content_hash": "273b74d9ac2ddb62ed0687173a865e8c301274d92140d0d3f1ca8d14d0b03c11", "fetched_at": "2026-08-29T09:46:56.653681+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs/developers-guide"}, {"content_hash": "75c7e9a72a1c2a557d9aac909d2df99fdff85ba5426d756a9429cb6a1dd8868e", "fetched_at": "2026-08-29T09:46:56.641402+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/releases"}, {"content_hash": "827336dd55303177b7899873a42c15f00b659e8312308747cc43e47c1a2450c9", "fetched_at": "2026-08-29T09:46:56.649550+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/publications"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-30T07:31:35.850664+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "69810a94538bad10127cfa03587b74c601ad40444cf843c469f241efbc6d0d01", "fetched_at": "2026-08-28T04:07:32.836635+00:00", "kind": "readme", "missing": false, "url": "https://github.com/klee/klee"}, {"content_hash": "22ea8b80d421550c01db7042f859006f7fd2427215a31be14709c79c059cd029", "fetched_at": "2026-08-29T09:46:56.628868+00:00", "kind": "homepage", "missing": false, "url": "https://klee-se.org/"}, {"content_hash": "f835acaded248150ff80b53d991c342fb13be5085df15ee16b117acd8d8ffb11", "fetched_at": "2026-08-29T09:46:56.637836+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/getting-started"}, {"content_hash": "900e5c0472dcddca6df42bb19832e90a02815fd403f8f644f46e0871ac6375a4", "fetched_at": "2026-08-29T09:46:56.639578+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs"}, {"content_hash": "f379ff40919aa3357b7e460d479d609a4d270818577a2312dabc879f27b5c439", "fetched_at": "2026-08-29T09:46:56.643071+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs/intrinsics"}, {"content_hash": "a9077b2991aa7850535055924636770ed633a2ecea791d0e2dee4902ea84dfb2", "fetched_at": "2026-08-29T09:46:56.644875+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs/options"}, {"content_hash": "ed6b5800d64ef7cd56e1260f8fe6287cf96773d65c0ba3060a5da142da36409b", "fetched_at": "2026-08-29T09:46:56.646900+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs/tools"}, {"content_hash": "273b74d9ac2ddb62ed0687173a865e8c301274d92140d0d3f1ca8d14d0b03c11", "fetched_at": "2026-08-29T09:46:56.653681+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs/developers-guide"}, {"content_hash": "75c7e9a72a1c2a557d9aac909d2df99fdff85ba5426d756a9429cb6a1dd8868e", "fetched_at": "2026-08-29T09:46:56.641402+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/releases"}, {"content_hash": "827336dd55303177b7899873a42c15f00b659e8312308747cc43e47c1a2450c9", "fetched_at": "2026-08-29T09:46:56.649550+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/publications"}], "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:32.836635+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:07:32.836635+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:07:32.836635+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-30T07:31:35.850664+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "69810a94538bad10127cfa03587b74c601ad40444cf843c469f241efbc6d0d01", "fetched_at": "2026-08-28T04:07:32.836635+00:00", "kind": "readme", "missing": false, "url": "https://github.com/klee/klee"}, {"content_hash": "22ea8b80d421550c01db7042f859006f7fd2427215a31be14709c79c059cd029", "fetched_at": "2026-08-29T09:46:56.628868+00:00", "kind": "homepage", "missing": false, "url": "https://klee-se.org/"}, {"content_hash": "f835acaded248150ff80b53d991c342fb13be5085df15ee16b117acd8d8ffb11", "fetched_at": "2026-08-29T09:46:56.637836+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/getting-started"}, {"content_hash": "900e5c0472dcddca6df42bb19832e90a02815fd403f8f644f46e0871ac6375a4", "fetched_at": "2026-08-29T09:46:56.639578+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs"}, {"content_hash": "f379ff40919aa3357b7e460d479d609a4d270818577a2312dabc879f27b5c439", "fetched_at": "2026-08-29T09:46:56.643071+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs/intrinsics"}, {"content_hash": "a9077b2991aa7850535055924636770ed633a2ecea791d0e2dee4902ea84dfb2", "fetched_at": "2026-08-29T09:46:56.644875+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs/options"}, {"content_hash": "ed6b5800d64ef7cd56e1260f8fe6287cf96773d65c0ba3060a5da142da36409b", "fetched_at": "2026-08-29T09:46:56.646900+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs/tools"}, {"content_hash": "273b74d9ac2ddb62ed0687173a865e8c301274d92140d0d3f1ca8d14d0b03c11", "fetched_at": "2026-08-29T09:46:56.653681+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs/developers-guide"}, {"content_hash": "75c7e9a72a1c2a557d9aac909d2df99fdff85ba5426d756a9429cb6a1dd8868e", "fetched_at": "2026-08-29T09:46:56.641402+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/releases"}, {"content_hash": "827336dd55303177b7899873a42c15f00b659e8312308747cc43e47c1a2450c9", "fetched_at": "2026-08-29T09:46:56.649550+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/publications"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:07:32.836635+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:07:32.836635+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-30T07:31:35.850664+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "69810a94538bad10127cfa03587b74c601ad40444cf843c469f241efbc6d0d01", "fetched_at": "2026-08-28T04:07:32.836635+00:00", "kind": "readme", "missing": false, "url": "https://github.com/klee/klee"}, {"content_hash": "22ea8b80d421550c01db7042f859006f7fd2427215a31be14709c79c059cd029", "fetched_at": "2026-08-29T09:46:56.628868+00:00", "kind": "homepage", "missing": false, "url": "https://klee-se.org/"}, {"content_hash": "f835acaded248150ff80b53d991c342fb13be5085df15ee16b117acd8d8ffb11", "fetched_at": "2026-08-29T09:46:56.637836+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/getting-started"}, {"content_hash": "900e5c0472dcddca6df42bb19832e90a02815fd403f8f644f46e0871ac6375a4", "fetched_at": "2026-08-29T09:46:56.639578+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs"}, {"content_hash": "f379ff40919aa3357b7e460d479d609a4d270818577a2312dabc879f27b5c439", "fetched_at": "2026-08-29T09:46:56.643071+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs/intrinsics"}, {"content_hash": "a9077b2991aa7850535055924636770ed633a2ecea791d0e2dee4902ea84dfb2", "fetched_at": "2026-08-29T09:46:56.644875+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs/options"}, {"content_hash": "ed6b5800d64ef7cd56e1260f8fe6287cf96773d65c0ba3060a5da142da36409b", "fetched_at": "2026-08-29T09:46:56.646900+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs/tools"}, {"content_hash": "273b74d9ac2ddb62ed0687173a865e8c301274d92140d0d3f1ca8d14d0b03c11", "fetched_at": "2026-08-29T09:46:56.653681+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs/developers-guide"}, {"content_hash": "75c7e9a72a1c2a557d9aac909d2df99fdff85ba5426d756a9429cb6a1dd8868e", "fetched_at": "2026-08-29T09:46:56.641402+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/releases"}, {"content_hash": "827336dd55303177b7899873a42c15f00b659e8312308747cc43e47c1a2450c9", "fetched_at": "2026-08-29T09:46:56.649550+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/publications"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:07:32.836635+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:07:32.836635+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:07:32.836635+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-30T07:31:35.850664+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "69810a94538bad10127cfa03587b74c601ad40444cf843c469f241efbc6d0d01", "fetched_at": "2026-08-28T04:07:32.836635+00:00", "kind": "readme", "missing": false, "url": "https://github.com/klee/klee"}, {"content_hash": "22ea8b80d421550c01db7042f859006f7fd2427215a31be14709c79c059cd029", "fetched_at": "2026-08-29T09:46:56.628868+00:00", "kind": "homepage", "missing": false, "url": "https://klee-se.org/"}, {"content_hash": "f835acaded248150ff80b53d991c342fb13be5085df15ee16b117acd8d8ffb11", "fetched_at": "2026-08-29T09:46:56.637836+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/getting-started"}, {"content_hash": "900e5c0472dcddca6df42bb19832e90a02815fd403f8f644f46e0871ac6375a4", "fetched_at": "2026-08-29T09:46:56.639578+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs"}, {"content_hash": "f379ff40919aa3357b7e460d479d609a4d270818577a2312dabc879f27b5c439", "fetched_at": "2026-08-29T09:46:56.643071+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs/intrinsics"}, {"content_hash": "a9077b2991aa7850535055924636770ed633a2ecea791d0e2dee4902ea84dfb2", "fetched_at": "2026-08-29T09:46:56.644875+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs/options"}, {"content_hash": "ed6b5800d64ef7cd56e1260f8fe6287cf96773d65c0ba3060a5da142da36409b", "fetched_at": "2026-08-29T09:46:56.646900+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs/tools"}, {"content_hash": "273b74d9ac2ddb62ed0687173a865e8c301274d92140d0d3f1ca8d14d0b03c11", "fetched_at": "2026-08-29T09:46:56.653681+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs/developers-guide"}, {"content_hash": "75c7e9a72a1c2a557d9aac909d2df99fdff85ba5426d756a9429cb6a1dd8868e", "fetched_at": "2026-08-29T09:46:56.641402+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/releases"}, {"content_hash": "827336dd55303177b7899873a42c15f00b659e8312308747cc43e47c1a2450c9", "fetched_at": "2026-08-29T09:46:56.649550+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/publications"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:07:32.836635+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:07:32.836635+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-30T07:31:35.850664+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "69810a94538bad10127cfa03587b74c601ad40444cf843c469f241efbc6d0d01", "fetched_at": "2026-08-28T04:07:32.836635+00:00", "kind": "readme", "missing": false, "url": "https://github.com/klee/klee"}, {"content_hash": "22ea8b80d421550c01db7042f859006f7fd2427215a31be14709c79c059cd029", "fetched_at": "2026-08-29T09:46:56.628868+00:00", "kind": "homepage", "missing": false, "url": "https://klee-se.org/"}, {"content_hash": "f835acaded248150ff80b53d991c342fb13be5085df15ee16b117acd8d8ffb11", "fetched_at": "2026-08-29T09:46:56.637836+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/getting-started"}, {"content_hash": "900e5c0472dcddca6df42bb19832e90a02815fd403f8f644f46e0871ac6375a4", "fetched_at": "2026-08-29T09:46:56.639578+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs"}, {"content_hash": "f379ff40919aa3357b7e460d479d609a4d270818577a2312dabc879f27b5c439", "fetched_at": "2026-08-29T09:46:56.643071+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs/intrinsics"}, {"content_hash": "a9077b2991aa7850535055924636770ed633a2ecea791d0e2dee4902ea84dfb2", "fetched_at": "2026-08-29T09:46:56.644875+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs/options"}, {"content_hash": "ed6b5800d64ef7cd56e1260f8fe6287cf96773d65c0ba3060a5da142da36409b", "fetched_at": "2026-08-29T09:46:56.646900+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs/tools"}, {"content_hash": "273b74d9ac2ddb62ed0687173a865e8c301274d92140d0d3f1ca8d14d0b03c11", "fetched_at": "2026-08-29T09:46:56.653681+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs/developers-guide"}, {"content_hash": "75c7e9a72a1c2a557d9aac909d2df99fdff85ba5426d756a9429cb6a1dd8868e", "fetched_at": "2026-08-29T09:46:56.641402+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/releases"}, {"content_hash": "827336dd55303177b7899873a42c15f00b659e8312308747cc43e47c1a2450c9", "fetched_at": "2026-08-29T09:46:56.649550+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/publications"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-30T07:31:35.850664+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "69810a94538bad10127cfa03587b74c601ad40444cf843c469f241efbc6d0d01", "fetched_at": "2026-08-28T04:07:32.836635+00:00", "kind": "readme", "missing": false, "url": "https://github.com/klee/klee"}, {"content_hash": "22ea8b80d421550c01db7042f859006f7fd2427215a31be14709c79c059cd029", "fetched_at": "2026-08-29T09:46:56.628868+00:00", "kind": "homepage", "missing": false, "url": "https://klee-se.org/"}, {"content_hash": "f835acaded248150ff80b53d991c342fb13be5085df15ee16b117acd8d8ffb11", "fetched_at": "2026-08-29T09:46:56.637836+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/getting-started"}, {"content_hash": "900e5c0472dcddca6df42bb19832e90a02815fd403f8f644f46e0871ac6375a4", "fetched_at": "2026-08-29T09:46:56.639578+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs"}, {"content_hash": "f379ff40919aa3357b7e460d479d609a4d270818577a2312dabc879f27b5c439", "fetched_at": "2026-08-29T09:46:56.643071+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs/intrinsics"}, {"content_hash": "a9077b2991aa7850535055924636770ed633a2ecea791d0e2dee4902ea84dfb2", "fetched_at": "2026-08-29T09:46:56.644875+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs/options"}, {"content_hash": "ed6b5800d64ef7cd56e1260f8fe6287cf96773d65c0ba3060a5da142da36409b", "fetched_at": "2026-08-29T09:46:56.646900+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs/tools"}, {"content_hash": "273b74d9ac2ddb62ed0687173a865e8c301274d92140d0d3f1ca8d14d0b03c11", "fetched_at": "2026-08-29T09:46:56.653681+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs/developers-guide"}, {"content_hash": "75c7e9a72a1c2a557d9aac909d2df99fdff85ba5426d756a9429cb6a1dd8868e", "fetched_at": "2026-08-29T09:46:56.641402+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/releases"}, {"content_hash": "827336dd55303177b7899873a42c15f00b659e8312308747cc43e47c1a2450c9", "fetched_at": "2026-08-29T09:46:56.649550+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/publications"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-30T07:31:35.850664+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "69810a94538bad10127cfa03587b74c601ad40444cf843c469f241efbc6d0d01", "fetched_at": "2026-08-28T04:07:32.836635+00:00", "kind": "readme", "missing": false, "url": "https://github.com/klee/klee"}, {"content_hash": "22ea8b80d421550c01db7042f859006f7fd2427215a31be14709c79c059cd029", "fetched_at": "2026-08-29T09:46:56.628868+00:00", "kind": "homepage", "missing": false, "url": "https://klee-se.org/"}, {"content_hash": "f835acaded248150ff80b53d991c342fb13be5085df15ee16b117acd8d8ffb11", "fetched_at": "2026-08-29T09:46:56.637836+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/getting-started"}, {"content_hash": "900e5c0472dcddca6df42bb19832e90a02815fd403f8f644f46e0871ac6375a4", "fetched_at": "2026-08-29T09:46:56.639578+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs"}, {"content_hash": "f379ff40919aa3357b7e460d479d609a4d270818577a2312dabc879f27b5c439", "fetched_at": "2026-08-29T09:46:56.643071+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs/intrinsics"}, {"content_hash": "a9077b2991aa7850535055924636770ed633a2ecea791d0e2dee4902ea84dfb2", "fetched_at": "2026-08-29T09:46:56.644875+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs/options"}, {"content_hash": "ed6b5800d64ef7cd56e1260f8fe6287cf96773d65c0ba3060a5da142da36409b", "fetched_at": "2026-08-29T09:46:56.646900+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs/tools"}, {"content_hash": "273b74d9ac2ddb62ed0687173a865e8c301274d92140d0d3f1ca8d14d0b03c11", "fetched_at": "2026-08-29T09:46:56.653681+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs/developers-guide"}, {"content_hash": "75c7e9a72a1c2a557d9aac909d2df99fdff85ba5426d756a9429cb6a1dd8868e", "fetched_at": "2026-08-29T09:46:56.641402+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/releases"}, {"content_hash": "827336dd55303177b7899873a42c15f00b659e8312308747cc43e47c1a2450c9", "fetched_at": "2026-08-29T09:46:56.649550+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/publications"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-30T07:31:35.850664+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "69810a94538bad10127cfa03587b74c601ad40444cf843c469f241efbc6d0d01", "fetched_at": "2026-08-28T04:07:32.836635+00:00", "kind": "readme", "missing": false, "url": "https://github.com/klee/klee"}, {"content_hash": "22ea8b80d421550c01db7042f859006f7fd2427215a31be14709c79c059cd029", "fetched_at": "2026-08-29T09:46:56.628868+00:00", "kind": "homepage", "missing": false, "url": "https://klee-se.org/"}, {"content_hash": "f835acaded248150ff80b53d991c342fb13be5085df15ee16b117acd8d8ffb11", "fetched_at": "2026-08-29T09:46:56.637836+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/getting-started"}, {"content_hash": "900e5c0472dcddca6df42bb19832e90a02815fd403f8f644f46e0871ac6375a4", "fetched_at": "2026-08-29T09:46:56.639578+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs"}, {"content_hash": "f379ff40919aa3357b7e460d479d609a4d270818577a2312dabc879f27b5c439", "fetched_at": "2026-08-29T09:46:56.643071+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs/intrinsics"}, {"content_hash": "a9077b2991aa7850535055924636770ed633a2ecea791d0e2dee4902ea84dfb2", "fetched_at": "2026-08-29T09:46:56.644875+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs/options"}, {"content_hash": "ed6b5800d64ef7cd56e1260f8fe6287cf96773d65c0ba3060a5da142da36409b", "fetched_at": "2026-08-29T09:46:56.646900+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs/tools"}, {"content_hash": "273b74d9ac2ddb62ed0687173a865e8c301274d92140d0d3f1ca8d14d0b03c11", "fetched_at": "2026-08-29T09:46:56.653681+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/docs/developers-guide"}, {"content_hash": "75c7e9a72a1c2a557d9aac909d2df99fdff85ba5426d756a9429cb6a1dd8868e", "fetched_at": "2026-08-29T09:46:56.641402+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/releases"}, {"content_hash": "827336dd55303177b7899873a42c15f00b659e8312308747cc43e47c1a2450c9", "fetched_at": "2026-08-29T09:46:56.649550+00:00", "kind": "site_page", "missing": false, "url": "https://klee-se.org/publications"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 98, "longevity": 100, "rhythm": 30}, "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": 4791, "days_push": 12, "days_rel": 253, "gap_med": null, "n_releases_24m": 1}, "score": 75, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}