{"adoption": {"forks": 496, "observed_at": "2026-08-28T04:08:27.482934+00:00", "stars": 3857}, "canonical_url": "https://ross.abutalabs.com/products/manticore", "card": {"archived": true, "artifact_type": "cli-tool", "description": "Symbolic execution tool", "domain": ["security", "blockchain", "reverse-engineering", "developer-tools"], "enriched": true, "function": ["security", "testing", "interpreter", "developer-tools"], "health_score": 10, "homepage": "https://blog.trailofbits.com/2017/04/27/manticore-symbolic-execution-for-humans/", "language": "Python", "license": "AGPL-3.0", "license_family": "copyleft", "maturity": "abandoned", "member_repos": ["trailofbits/manticore"], "name": "trailofbits/manticore", "platform": ["python", "cli"], "pushed_at": "2026-06-24T16:28:22+00:00", "repo": "trailofbits/manticore", "stars": 3857, "tags": ["symbolic-execution", "smt", "z3", "binary-analysis", "emulation", "ethereum", "smart-contracts", "evm", "wasm", "program-analysis", "linux"], "topics": ["symbolic-execution", "z3", "python", "binary-analysis", "emulation", "smt", "program-analysis", "security", "ethereum", "blockchain", "testing"], "urls": [], "use_cases": ["find crashes and vulnerabilities in binaries via symbolic execution", "analyze ethereum smart contracts for exploitable states", "generate inputs that reach a specific code path", "script custom dynamic binary analysis in python", "explore all reachable states of a program with symbolic inputs"], "what_it_is": "Manticore is a symbolic execution tool for analyzing Ethereum smart contracts, Linux ELF binaries, and WASM modules. It explores program states with symbolic inputs, generates concrete test inputs, and exposes a scriptable Python API for custom analyses.", "when_to_avoid": ["you need an actively maintained tool - the project is archived", "you need symbolic execution for platforms other than EVM, ELF x86/ARM, or WASM", "you want a GUI-based reverse engineering tool"], "when_to_choose": []}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/manticore", "repo": "trailofbits/manticore", "role": "main", "score": 10}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:08:27.482934+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-29T18:25:55.478649+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "a4d87568033d8cb1a9ec3aaa0c4ee5abcb3f65bc39adf65d53116b01de8be44e", "fetched_at": "2026-08-28T04:08:27.482934+00:00", "kind": "readme", "missing": false, "url": "https://github.com/trailofbits/manticore"}, {"content_hash": "390f9178521b8e1022f86923b12b02748beaae208a5e1619c47b53ed92ff8741", "fetched_at": "2026-08-29T09:20:29.096386+00:00", "kind": "homepage", "missing": false, "url": "https://blog.trailofbits.com/2017/04/27/manticore-symbolic-execution-for-humans/"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:08:27.482934+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-29T18:25:55.478649+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "a4d87568033d8cb1a9ec3aaa0c4ee5abcb3f65bc39adf65d53116b01de8be44e", "fetched_at": "2026-08-28T04:08:27.482934+00:00", "kind": "readme", "missing": false, "url": "https://github.com/trailofbits/manticore"}, {"content_hash": "390f9178521b8e1022f86923b12b02748beaae208a5e1619c47b53ed92ff8741", "fetched_at": "2026-08-29T09:20:29.096386+00:00", "kind": "homepage", "missing": false, "url": "https://blog.trailofbits.com/2017/04/27/manticore-symbolic-execution-for-humans/"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-29T18:25:55.478649+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "a4d87568033d8cb1a9ec3aaa0c4ee5abcb3f65bc39adf65d53116b01de8be44e", "fetched_at": "2026-08-28T04:08:27.482934+00:00", "kind": "readme", "missing": false, "url": "https://github.com/trailofbits/manticore"}, {"content_hash": "390f9178521b8e1022f86923b12b02748beaae208a5e1619c47b53ed92ff8741", "fetched_at": "2026-08-29T09:20:29.096386+00:00", "kind": "homepage", "missing": false, "url": "https://blog.trailofbits.com/2017/04/27/manticore-symbolic-execution-for-humans/"}], "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:08:27.482934+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:08:27.482934+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:08:27.482934+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-29T18:25:55.478649+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "a4d87568033d8cb1a9ec3aaa0c4ee5abcb3f65bc39adf65d53116b01de8be44e", "fetched_at": "2026-08-28T04:08:27.482934+00:00", "kind": "readme", "missing": false, "url": "https://github.com/trailofbits/manticore"}, {"content_hash": "390f9178521b8e1022f86923b12b02748beaae208a5e1619c47b53ed92ff8741", "fetched_at": "2026-08-29T09:20:29.096386+00:00", "kind": "homepage", "missing": false, "url": "https://blog.trailofbits.com/2017/04/27/manticore-symbolic-execution-for-humans/"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:08:27.482934+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:08:27.482934+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-29T18:25:55.478649+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "a4d87568033d8cb1a9ec3aaa0c4ee5abcb3f65bc39adf65d53116b01de8be44e", "fetched_at": "2026-08-28T04:08:27.482934+00:00", "kind": "readme", "missing": false, "url": "https://github.com/trailofbits/manticore"}, {"content_hash": "390f9178521b8e1022f86923b12b02748beaae208a5e1619c47b53ed92ff8741", "fetched_at": "2026-08-29T09:20:29.096386+00:00", "kind": "homepage", "missing": false, "url": "https://blog.trailofbits.com/2017/04/27/manticore-symbolic-execution-for-humans/"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:08:27.482934+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:08:27.482934+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:08:27.482934+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-29T18:25:55.478649+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "a4d87568033d8cb1a9ec3aaa0c4ee5abcb3f65bc39adf65d53116b01de8be44e", "fetched_at": "2026-08-28T04:08:27.482934+00:00", "kind": "readme", "missing": false, "url": "https://github.com/trailofbits/manticore"}, {"content_hash": "390f9178521b8e1022f86923b12b02748beaae208a5e1619c47b53ed92ff8741", "fetched_at": "2026-08-29T09:20:29.096386+00:00", "kind": "homepage", "missing": false, "url": "https://blog.trailofbits.com/2017/04/27/manticore-symbolic-execution-for-humans/"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:08:27.482934+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:08:27.482934+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-29T18:25:55.478649+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "a4d87568033d8cb1a9ec3aaa0c4ee5abcb3f65bc39adf65d53116b01de8be44e", "fetched_at": "2026-08-28T04:08:27.482934+00:00", "kind": "readme", "missing": false, "url": "https://github.com/trailofbits/manticore"}, {"content_hash": "390f9178521b8e1022f86923b12b02748beaae208a5e1619c47b53ed92ff8741", "fetched_at": "2026-08-29T09:20:29.096386+00:00", "kind": "homepage", "missing": false, "url": "https://blog.trailofbits.com/2017/04/27/manticore-symbolic-execution-for-humans/"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-29T18:25:55.478649+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "a4d87568033d8cb1a9ec3aaa0c4ee5abcb3f65bc39adf65d53116b01de8be44e", "fetched_at": "2026-08-28T04:08:27.482934+00:00", "kind": "readme", "missing": false, "url": "https://github.com/trailofbits/manticore"}, {"content_hash": "390f9178521b8e1022f86923b12b02748beaae208a5e1619c47b53ed92ff8741", "fetched_at": "2026-08-29T09:20:29.096386+00:00", "kind": "homepage", "missing": false, "url": "https://blog.trailofbits.com/2017/04/27/manticore-symbolic-execution-for-humans/"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-29T18:25:55.478649+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "a4d87568033d8cb1a9ec3aaa0c4ee5abcb3f65bc39adf65d53116b01de8be44e", "fetched_at": "2026-08-28T04:08:27.482934+00:00", "kind": "readme", "missing": false, "url": "https://github.com/trailofbits/manticore"}, {"content_hash": "390f9178521b8e1022f86923b12b02748beaae208a5e1619c47b53ed92ff8741", "fetched_at": "2026-08-29T09:20:29.096386+00:00", "kind": "homepage", "missing": false, "url": "https://blog.trailofbits.com/2017/04/27/manticore-symbolic-execution-for-humans/"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-29T18:25:55.478649+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "a4d87568033d8cb1a9ec3aaa0c4ee5abcb3f65bc39adf65d53116b01de8be44e", "fetched_at": "2026-08-28T04:08:27.482934+00:00", "kind": "readme", "missing": false, "url": "https://github.com/trailofbits/manticore"}, {"content_hash": "390f9178521b8e1022f86923b12b02748beaae208a5e1619c47b53ed92ff8741", "fetched_at": "2026-08-29T09:20:29.096386+00:00", "kind": "homepage", "missing": false, "url": "https://blog.trailofbits.com/2017/04/27/manticore-symbolic-execution-for-humans/"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 89, "longevity": 100, "rhythm": 8}, "computed_at": "2026-09-03T02:20:16.233290+00:00", "flags": ["archived"], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 3491, "days_push": 70, "days_rel": null, "gap_med": null, "n_releases_24m": 0}, "score": 10, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}