{"adoption": {"forks": 316, "observed_at": "2026-08-28T04:04:25.806202+00:00", "stars": 1338}, "canonical_url": "https://ross.abutalabs.com/products/oyente", "card": {"archived": true, "artifact_type": "cli-tool", "description": " An Analysis Tool for Smart Contracts ", "domain": ["security", "blockchain", "developer-tools"], "enriched": true, "function": ["security", "vulnerability-scanning", "static-site-generator"], "health_score": 10, "homepage": null, "language": "JavaScript", "license": "GPL-3.0", "license_family": "copyleft", "maturity": "maintenance", "member_repos": ["enzymefinance/oyente"], "name": "enzymefinance/oyente", "platform": ["python"], "pushed_at": "2023-01-19T05:35:00+00:00", "repo": "enzymefinance/oyente", "stars": 1338, "tags": ["smart-contracts", "ethereum", "static-analysis", "solidity", "symbolic-execution", "linux", "macos", "docker"], "topics": ["ethereum", "blockchain", "smart-contracts", "security-analyzers"], "urls": [], "use_cases": ["analyze solidity contracts for security bugs", "detect reentrancy vulnerabilities in ethereum contracts", "run static analysis on smart contract bytecode", "audit evm contracts before deployment", "find integer overflow bugs in solidity code"], "what_it_is": "Oyente is a static analysis tool for Ethereum smart contracts that detects security vulnerabilities using symbolic execution of EVM bytecode. It can be run as a CLI, via Docker, or through a web interface.", "when_to_avoid": ["you need actively maintained tooling with support for the latest Solidity versions", "you target non-Ethereum blockchains or non-EVM bytecode"], "when_to_choose": ["you need automated vulnerability detection for Ethereum smart contracts", "you want a research-backed symbolic execution analyzer for EVM bytecode"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/oyente", "repo": "enzymefinance/oyente", "role": "main", "score": 10}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:04:25.806202+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-30T04:43:59.552618+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "6d36e187fcc6424b84a5824ba6e1f41409b409eb700fe44249f43e198f0ca307", "fetched_at": "2026-08-28T04:04:25.806202+00:00", "kind": "readme", "missing": false, "url": "https://github.com/enzymefinance/oyente"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:04:25.806202+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-30T04:43:59.552618+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "6d36e187fcc6424b84a5824ba6e1f41409b409eb700fe44249f43e198f0ca307", "fetched_at": "2026-08-28T04:04:25.806202+00:00", "kind": "readme", "missing": false, "url": "https://github.com/enzymefinance/oyente"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-30T04:43:59.552618+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "6d36e187fcc6424b84a5824ba6e1f41409b409eb700fe44249f43e198f0ca307", "fetched_at": "2026-08-28T04:04:25.806202+00:00", "kind": "readme", "missing": false, "url": "https://github.com/enzymefinance/oyente"}], "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:25.806202+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:04:25.806202+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:04:25.806202+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-30T04:43:59.552618+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "6d36e187fcc6424b84a5824ba6e1f41409b409eb700fe44249f43e198f0ca307", "fetched_at": "2026-08-28T04:04:25.806202+00:00", "kind": "readme", "missing": false, "url": "https://github.com/enzymefinance/oyente"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:04:25.806202+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:04:25.806202+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-30T04:43:59.552618+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "6d36e187fcc6424b84a5824ba6e1f41409b409eb700fe44249f43e198f0ca307", "fetched_at": "2026-08-28T04:04:25.806202+00:00", "kind": "readme", "missing": false, "url": "https://github.com/enzymefinance/oyente"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:04:25.806202+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:04:25.806202+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:04:25.806202+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-30T04:43:59.552618+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "6d36e187fcc6424b84a5824ba6e1f41409b409eb700fe44249f43e198f0ca307", "fetched_at": "2026-08-28T04:04:25.806202+00:00", "kind": "readme", "missing": false, "url": "https://github.com/enzymefinance/oyente"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:04:25.806202+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:04:25.806202+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-30T04:43:59.552618+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "6d36e187fcc6424b84a5824ba6e1f41409b409eb700fe44249f43e198f0ca307", "fetched_at": "2026-08-28T04:04:25.806202+00:00", "kind": "readme", "missing": false, "url": "https://github.com/enzymefinance/oyente"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-30T04:43:59.552618+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "6d36e187fcc6424b84a5824ba6e1f41409b409eb700fe44249f43e198f0ca307", "fetched_at": "2026-08-28T04:04:25.806202+00:00", "kind": "readme", "missing": false, "url": "https://github.com/enzymefinance/oyente"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-30T04:43:59.552618+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "6d36e187fcc6424b84a5824ba6e1f41409b409eb700fe44249f43e198f0ca307", "fetched_at": "2026-08-28T04:04:25.806202+00:00", "kind": "readme", "missing": false, "url": "https://github.com/enzymefinance/oyente"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-30T04:43:59.552618+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "6d36e187fcc6424b84a5824ba6e1f41409b409eb700fe44249f43e198f0ca307", "fetched_at": "2026-08-28T04:04:25.806202+00:00", "kind": "readme", "missing": false, "url": "https://github.com/enzymefinance/oyente"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 0, "longevity": 100, "rhythm": 8}, "computed_at": "2026-09-02T17:46:02.011165+00:00", "flags": ["archived"], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 3456, "days_push": 1322, "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}}