{"adoption": {"forks": 151, "observed_at": "2026-08-28T04:04:53.708631+00:00", "stars": 1496}, "canonical_url": "https://ross.abutalabs.com/products/awesome-symbolic-execution", "card": {"archived": false, "artifact_type": "learning-resource", "description": "A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.", "domain": ["security", "developer-tools", "tutorials", "awesome-lists"], "enriched": true, "function": ["developer-tools", "security", "testing"], "health_score": 63, "homepage": null, "language": null, "license": "CC0-1.0", "license_family": "permissive", "maturity": "active", "member_repos": ["ksluckow/awesome-symbolic-execution"], "name": "ksluckow/awesome-symbolic-execution", "platform": ["cross-platform"], "pushed_at": "2026-03-14T05:30:15+00:00", "repo": "ksluckow/awesome-symbolic-execution", "stars": 1496, "tags": ["symbolic-execution", "dynamic-analysis", "curated-list", "program-analysis", "concolic-testing"], "topics": ["symbolic-execution", "dynamic-analysis", "dynamic-symbolic-execution", "awesome-list"], "urls": [], "use_cases": ["learn symbolic execution from papers and lectures", "find symbolic execution tools for Java or Rust", "research dynamic symbolic execution techniques", "find concolic testing resources", "get started with program analysis", "find academic papers on software testing"], "what_it_is": "A curated awesome-list of symbolic execution resources, including foundational research papers, university lecture slides, videos, and tools across languages like Rust and Java. It serves as a reference index for learning about and finding dynamic symbolic execution tooling.", "when_to_avoid": ["you need an actual symbolic execution engine rather than a resource list", "you need maintained, runnable software rather than links to papers and lectures"], "when_to_choose": ["you want a curated starting point for learning symbolic execution", "you need to discover tools and research papers in one place", "you are teaching or studying program analysis and software security"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/awesome-symbolic-execution", "repo": "ksluckow/awesome-symbolic-execution", "role": "main", "score": 65}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:04:53.708631+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-30T04:33:13.555731+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "2a28ff4ed5074d0a6e07c96ba9c9bb558059ac5edc3c011c7e9f20c706f5059b", "fetched_at": "2026-08-28T04:04:53.708631+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ksluckow/awesome-symbolic-execution"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:04:53.708631+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-30T04:33:13.555731+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "2a28ff4ed5074d0a6e07c96ba9c9bb558059ac5edc3c011c7e9f20c706f5059b", "fetched_at": "2026-08-28T04:04:53.708631+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ksluckow/awesome-symbolic-execution"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-30T04:33:13.555731+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "2a28ff4ed5074d0a6e07c96ba9c9bb558059ac5edc3c011c7e9f20c706f5059b", "fetched_at": "2026-08-28T04:04:53.708631+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ksluckow/awesome-symbolic-execution"}], "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:04:53.708631+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:04:53.708631+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:04:53.708631+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-30T04:33:13.555731+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "2a28ff4ed5074d0a6e07c96ba9c9bb558059ac5edc3c011c7e9f20c706f5059b", "fetched_at": "2026-08-28T04:04:53.708631+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ksluckow/awesome-symbolic-execution"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:04:53.708631+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:04:53.708631+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-30T04:33:13.555731+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "2a28ff4ed5074d0a6e07c96ba9c9bb558059ac5edc3c011c7e9f20c706f5059b", "fetched_at": "2026-08-28T04:04:53.708631+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ksluckow/awesome-symbolic-execution"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:04:53.708631+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:04:53.708631+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:04:53.708631+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-30T04:33:13.555731+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "2a28ff4ed5074d0a6e07c96ba9c9bb558059ac5edc3c011c7e9f20c706f5059b", "fetched_at": "2026-08-28T04:04:53.708631+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ksluckow/awesome-symbolic-execution"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:04:53.708631+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:04:53.708631+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-30T04:33:13.555731+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "2a28ff4ed5074d0a6e07c96ba9c9bb558059ac5edc3c011c7e9f20c706f5059b", "fetched_at": "2026-08-28T04:04:53.708631+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ksluckow/awesome-symbolic-execution"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-30T04:33:13.555731+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "2a28ff4ed5074d0a6e07c96ba9c9bb558059ac5edc3c011c7e9f20c706f5059b", "fetched_at": "2026-08-28T04:04:53.708631+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ksluckow/awesome-symbolic-execution"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-30T04:33:13.555731+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "2a28ff4ed5074d0a6e07c96ba9c9bb558059ac5edc3c011c7e9f20c706f5059b", "fetched_at": "2026-08-28T04:04:53.708631+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ksluckow/awesome-symbolic-execution"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-30T04:33:13.555731+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "2a28ff4ed5074d0a6e07c96ba9c9bb558059ac5edc3c011c7e9f20c706f5059b", "fetched_at": "2026-08-28T04:04:53.708631+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ksluckow/awesome-symbolic-execution"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 72, "longevity": 100, "rhythm": 35}, "computed_at": "2026-09-03T02:20:16.233290+00:00", "flags": ["no_releases"], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 3333, "days_push": 172, "days_rel": null, "gap_med": null, "n_releases_24m": 0}, "score": 65, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}