{"adoption": {"forks": 819, "observed_at": "2026-08-28T04:08:40.701327+00:00", "stars": 4265}, "canonical_url": "https://ross.abutalabs.com/products/mythril", "card": {"archived": false, "artifact_type": "cli-tool", "description": "Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.", "domain": ["security", "blockchain", "developer-tools"], "enriched": true, "function": ["security", "vulnerability-scanning", "cli", "penetration-testing"], "health_score": 74, "homepage": "https://mythx.io/", "language": "Python", "license": "MIT", "license_family": "permissive", "maturity": "active", "member_repos": ["ConsenSysDiligence/mythril"], "name": "ConsenSysDiligence/mythril", "platform": ["python", "cli", "windows"], "pushed_at": "2026-04-27T04:13:25+00:00", "repo": "ConsenSysDiligence/mythril", "stars": 4265, "tags": ["ethereum", "evm", "solidity", "symbolic-execution", "static-analysis", "smart-contract-security", "program-analysis", "smart-contracts", "docker", "linux", "macos"], "topics": ["security-analysis", "ethereum", "blockchain", "smart-contracts", "solidity", "program-analysis", "security", "symbolic-execution"], "urls": [], "use_cases": ["scan solidity smart contracts for security vulnerabilities", "analyze deployed ethereum contract bytecode for exploits", "find reentrancy and selfdestruct bugs in smart contracts", "run automated security checks in CI before a smart contract audit", "disassemble and inspect EVM bytecode", "audit solidity code against the SWC vulnerability registry"], "what_it_is": "Mythril is a symbolic-execution-based security analysis tool for EVM bytecode that detects vulnerabilities in Ethereum and other EVM-compatible smart contracts. It is distributed as a Python CLI (also via Docker and pre-commit hooks) and analyzes Solidity source files or on-chain contract addresses.", "when_to_avoid": ["you need the broadest coverage and hosted performance of a commercial SaaS scanner", "you need fuzzing rather than symbolic execution (consider Diligence Fuzzing)", "your contracts target non-EVM blockchains", "you require guaranteed up-to-date support for the newest Solidity versions"], "when_to_choose": ["you need free, local, open-source static/symbolic analysis of EVM contracts", "you want to analyze contracts without submitting source code to a SaaS", "you work with Ethereum or other EVM-compatible chains", "you want a pre-commit or CI-integrated smart contract security scanner"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/mythril", "repo": "ConsenSysDiligence/mythril", "role": "main", "score": 58}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:08:40.701327+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-29T18:22:03.344328+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "217bcb743f864e79d8229a8b51a92ef5249379069e58ebede98da6c0435d1693", "fetched_at": "2026-08-28T04:08:40.701327+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ConsenSysDiligence/mythril"}, {"content_hash": "75797affa46ca00ce0af9c5b552b57d5ced6161353bf7486e51cf0458869a653", "fetched_at": "2026-08-29T09:11:40.717146+00:00", "kind": "homepage", "missing": false, "url": "https://mythx.io/"}, {"content_hash": "b40ec2cb2fd93c8884e0946b3eb96f8a274019d91638573c8f7a9d4610f04119", "fetched_at": "2026-08-29T09:11:40.726175+00:00", "kind": "site_page", "missing": false, "url": "https://mythx.io/about"}, {"content_hash": "8da55f827e54ae42fb186e9c79d0e42cabe9a14051cd7697a19104cc6b3c80c2", "fetched_at": "2026-08-29T09:11:40.728660+00:00", "kind": "site_page", "missing": false, "url": "https://mythx.io/faq"}, {"content_hash": "8f83d981145b604e6bc853ea3e98713c2f41313adc0063b6cc750fc89b088d2a", "fetched_at": "2026-08-29T09:11:40.732865+00:00", "kind": "site_page", "missing": false, "url": "https://mythx.io/tools"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:08:40.701327+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-29T18:22:03.344328+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "217bcb743f864e79d8229a8b51a92ef5249379069e58ebede98da6c0435d1693", "fetched_at": "2026-08-28T04:08:40.701327+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ConsenSysDiligence/mythril"}, {"content_hash": "75797affa46ca00ce0af9c5b552b57d5ced6161353bf7486e51cf0458869a653", "fetched_at": "2026-08-29T09:11:40.717146+00:00", "kind": "homepage", "missing": false, "url": "https://mythx.io/"}, {"content_hash": "b40ec2cb2fd93c8884e0946b3eb96f8a274019d91638573c8f7a9d4610f04119", "fetched_at": "2026-08-29T09:11:40.726175+00:00", "kind": "site_page", "missing": false, "url": "https://mythx.io/about"}, {"content_hash": "8da55f827e54ae42fb186e9c79d0e42cabe9a14051cd7697a19104cc6b3c80c2", "fetched_at": "2026-08-29T09:11:40.728660+00:00", "kind": "site_page", "missing": false, "url": "https://mythx.io/faq"}, {"content_hash": "8f83d981145b604e6bc853ea3e98713c2f41313adc0063b6cc750fc89b088d2a", "fetched_at": "2026-08-29T09:11:40.732865+00:00", "kind": "site_page", "missing": false, "url": "https://mythx.io/tools"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-29T18:22:03.344328+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "217bcb743f864e79d8229a8b51a92ef5249379069e58ebede98da6c0435d1693", "fetched_at": "2026-08-28T04:08:40.701327+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ConsenSysDiligence/mythril"}, {"content_hash": "75797affa46ca00ce0af9c5b552b57d5ced6161353bf7486e51cf0458869a653", "fetched_at": "2026-08-29T09:11:40.717146+00:00", "kind": "homepage", "missing": false, "url": "https://mythx.io/"}, {"content_hash": "b40ec2cb2fd93c8884e0946b3eb96f8a274019d91638573c8f7a9d4610f04119", "fetched_at": "2026-08-29T09:11:40.726175+00:00", "kind": "site_page", "missing": false, "url": "https://mythx.io/about"}, {"content_hash": "8da55f827e54ae42fb186e9c79d0e42cabe9a14051cd7697a19104cc6b3c80c2", "fetched_at": "2026-08-29T09:11:40.728660+00:00", "kind": "site_page", "missing": false, "url": "https://mythx.io/faq"}, {"content_hash": "8f83d981145b604e6bc853ea3e98713c2f41313adc0063b6cc750fc89b088d2a", "fetched_at": "2026-08-29T09:11:40.732865+00:00", "kind": "site_page", "missing": false, "url": "https://mythx.io/tools"}], "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:40.701327+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:08:40.701327+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:08:40.701327+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-29T18:22:03.344328+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "217bcb743f864e79d8229a8b51a92ef5249379069e58ebede98da6c0435d1693", "fetched_at": "2026-08-28T04:08:40.701327+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ConsenSysDiligence/mythril"}, {"content_hash": "75797affa46ca00ce0af9c5b552b57d5ced6161353bf7486e51cf0458869a653", "fetched_at": "2026-08-29T09:11:40.717146+00:00", "kind": "homepage", "missing": false, "url": "https://mythx.io/"}, {"content_hash": "b40ec2cb2fd93c8884e0946b3eb96f8a274019d91638573c8f7a9d4610f04119", "fetched_at": "2026-08-29T09:11:40.726175+00:00", "kind": "site_page", "missing": false, "url": "https://mythx.io/about"}, {"content_hash": "8da55f827e54ae42fb186e9c79d0e42cabe9a14051cd7697a19104cc6b3c80c2", "fetched_at": "2026-08-29T09:11:40.728660+00:00", "kind": "site_page", "missing": false, "url": "https://mythx.io/faq"}, {"content_hash": "8f83d981145b604e6bc853ea3e98713c2f41313adc0063b6cc750fc89b088d2a", "fetched_at": "2026-08-29T09:11:40.732865+00:00", "kind": "site_page", "missing": false, "url": "https://mythx.io/tools"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:08:40.701327+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:08:40.701327+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-29T18:22:03.344328+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "217bcb743f864e79d8229a8b51a92ef5249379069e58ebede98da6c0435d1693", "fetched_at": "2026-08-28T04:08:40.701327+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ConsenSysDiligence/mythril"}, {"content_hash": "75797affa46ca00ce0af9c5b552b57d5ced6161353bf7486e51cf0458869a653", "fetched_at": "2026-08-29T09:11:40.717146+00:00", "kind": "homepage", "missing": false, "url": "https://mythx.io/"}, {"content_hash": "b40ec2cb2fd93c8884e0946b3eb96f8a274019d91638573c8f7a9d4610f04119", "fetched_at": "2026-08-29T09:11:40.726175+00:00", "kind": "site_page", "missing": false, "url": "https://mythx.io/about"}, {"content_hash": "8da55f827e54ae42fb186e9c79d0e42cabe9a14051cd7697a19104cc6b3c80c2", "fetched_at": "2026-08-29T09:11:40.728660+00:00", "kind": "site_page", "missing": false, "url": "https://mythx.io/faq"}, {"content_hash": "8f83d981145b604e6bc853ea3e98713c2f41313adc0063b6cc750fc89b088d2a", "fetched_at": "2026-08-29T09:11:40.732865+00:00", "kind": "site_page", "missing": false, "url": "https://mythx.io/tools"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:08:40.701327+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:08:40.701327+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:08:40.701327+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-29T18:22:03.344328+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "217bcb743f864e79d8229a8b51a92ef5249379069e58ebede98da6c0435d1693", "fetched_at": "2026-08-28T04:08:40.701327+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ConsenSysDiligence/mythril"}, {"content_hash": "75797affa46ca00ce0af9c5b552b57d5ced6161353bf7486e51cf0458869a653", "fetched_at": "2026-08-29T09:11:40.717146+00:00", "kind": "homepage", "missing": false, "url": "https://mythx.io/"}, {"content_hash": "b40ec2cb2fd93c8884e0946b3eb96f8a274019d91638573c8f7a9d4610f04119", "fetched_at": "2026-08-29T09:11:40.726175+00:00", "kind": "site_page", "missing": false, "url": "https://mythx.io/about"}, {"content_hash": "8da55f827e54ae42fb186e9c79d0e42cabe9a14051cd7697a19104cc6b3c80c2", "fetched_at": "2026-08-29T09:11:40.728660+00:00", "kind": "site_page", "missing": false, "url": "https://mythx.io/faq"}, {"content_hash": "8f83d981145b604e6bc853ea3e98713c2f41313adc0063b6cc750fc89b088d2a", "fetched_at": "2026-08-29T09:11:40.732865+00:00", "kind": "site_page", "missing": false, "url": "https://mythx.io/tools"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:08:40.701327+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:08:40.701327+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-29T18:22:03.344328+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "217bcb743f864e79d8229a8b51a92ef5249379069e58ebede98da6c0435d1693", "fetched_at": "2026-08-28T04:08:40.701327+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ConsenSysDiligence/mythril"}, {"content_hash": "75797affa46ca00ce0af9c5b552b57d5ced6161353bf7486e51cf0458869a653", "fetched_at": "2026-08-29T09:11:40.717146+00:00", "kind": "homepage", "missing": false, "url": "https://mythx.io/"}, {"content_hash": "b40ec2cb2fd93c8884e0946b3eb96f8a274019d91638573c8f7a9d4610f04119", "fetched_at": "2026-08-29T09:11:40.726175+00:00", "kind": "site_page", "missing": false, "url": "https://mythx.io/about"}, {"content_hash": "8da55f827e54ae42fb186e9c79d0e42cabe9a14051cd7697a19104cc6b3c80c2", "fetched_at": "2026-08-29T09:11:40.728660+00:00", "kind": "site_page", "missing": false, "url": "https://mythx.io/faq"}, {"content_hash": "8f83d981145b604e6bc853ea3e98713c2f41313adc0063b6cc750fc89b088d2a", "fetched_at": "2026-08-29T09:11:40.732865+00:00", "kind": "site_page", "missing": false, "url": "https://mythx.io/tools"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-29T18:22:03.344328+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "217bcb743f864e79d8229a8b51a92ef5249379069e58ebede98da6c0435d1693", "fetched_at": "2026-08-28T04:08:40.701327+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ConsenSysDiligence/mythril"}, {"content_hash": "75797affa46ca00ce0af9c5b552b57d5ced6161353bf7486e51cf0458869a653", "fetched_at": "2026-08-29T09:11:40.717146+00:00", "kind": "homepage", "missing": false, "url": "https://mythx.io/"}, {"content_hash": "b40ec2cb2fd93c8884e0946b3eb96f8a274019d91638573c8f7a9d4610f04119", "fetched_at": "2026-08-29T09:11:40.726175+00:00", "kind": "site_page", "missing": false, "url": "https://mythx.io/about"}, {"content_hash": "8da55f827e54ae42fb186e9c79d0e42cabe9a14051cd7697a19104cc6b3c80c2", "fetched_at": "2026-08-29T09:11:40.728660+00:00", "kind": "site_page", "missing": false, "url": "https://mythx.io/faq"}, {"content_hash": "8f83d981145b604e6bc853ea3e98713c2f41313adc0063b6cc750fc89b088d2a", "fetched_at": "2026-08-29T09:11:40.732865+00:00", "kind": "site_page", "missing": false, "url": "https://mythx.io/tools"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-29T18:22:03.344328+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "217bcb743f864e79d8229a8b51a92ef5249379069e58ebede98da6c0435d1693", "fetched_at": "2026-08-28T04:08:40.701327+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ConsenSysDiligence/mythril"}, {"content_hash": "75797affa46ca00ce0af9c5b552b57d5ced6161353bf7486e51cf0458869a653", "fetched_at": "2026-08-29T09:11:40.717146+00:00", "kind": "homepage", "missing": false, "url": "https://mythx.io/"}, {"content_hash": "b40ec2cb2fd93c8884e0946b3eb96f8a274019d91638573c8f7a9d4610f04119", "fetched_at": "2026-08-29T09:11:40.726175+00:00", "kind": "site_page", "missing": false, "url": "https://mythx.io/about"}, {"content_hash": "8da55f827e54ae42fb186e9c79d0e42cabe9a14051cd7697a19104cc6b3c80c2", "fetched_at": "2026-08-29T09:11:40.728660+00:00", "kind": "site_page", "missing": false, "url": "https://mythx.io/faq"}, {"content_hash": "8f83d981145b604e6bc853ea3e98713c2f41313adc0063b6cc750fc89b088d2a", "fetched_at": "2026-08-29T09:11:40.732865+00:00", "kind": "site_page", "missing": false, "url": "https://mythx.io/tools"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-29T18:22:03.344328+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "217bcb743f864e79d8229a8b51a92ef5249379069e58ebede98da6c0435d1693", "fetched_at": "2026-08-28T04:08:40.701327+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ConsenSysDiligence/mythril"}, {"content_hash": "75797affa46ca00ce0af9c5b552b57d5ced6161353bf7486e51cf0458869a653", "fetched_at": "2026-08-29T09:11:40.717146+00:00", "kind": "homepage", "missing": false, "url": "https://mythx.io/"}, {"content_hash": "b40ec2cb2fd93c8884e0946b3eb96f8a274019d91638573c8f7a9d4610f04119", "fetched_at": "2026-08-29T09:11:40.726175+00:00", "kind": "site_page", "missing": false, "url": "https://mythx.io/about"}, {"content_hash": "8da55f827e54ae42fb186e9c79d0e42cabe9a14051cd7697a19104cc6b3c80c2", "fetched_at": "2026-08-29T09:11:40.728660+00:00", "kind": "site_page", "missing": false, "url": "https://mythx.io/faq"}, {"content_hash": "8f83d981145b604e6bc853ea3e98713c2f41313adc0063b6cc750fc89b088d2a", "fetched_at": "2026-08-29T09:11:40.732865+00:00", "kind": "site_page", "missing": false, "url": "https://mythx.io/tools"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 79, "longevity": 100, "rhythm": 8}, "computed_at": "2026-09-02T17:46:02.011165+00:00", "flags": [], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 3271, "days_push": 128, "days_rel": null, "gap_med": null, "n_releases_24m": 0}, "score": 58, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}