# enzymefinance/oyente

An Analysis Tool for Smart Contracts

Repository: https://github.com/enzymefinance/oyente
Canonical: https://ross.abutalabs.com/products/oyente
Language: JavaScript
License: GPL-3.0
License Family: copyleft
Topics: ethereum, blockchain, smart-contracts, security-analyzers
Archived: true
Last push: 2023-01-19T05:35:00+00:00

## Health v2 (maintenance only)
Score: 10/100 (v2, computed 2026-09-02T17:46:02.011165+00:00)
- activity 0, release rhythm 8, longevity 100
- inputs: {"age_days": 3456, "days_push": 1322, "days_rel": null, "gap_med": null, "n_releases_24m": 0}
- flags: archived
- formula: round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)

## Adoption (not part of the score)
Stars 1338, forks 316 (observed 2026-08-28T04:04:25.806202+00:00)

## 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.

## 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

## When to choose
- you need automated vulnerability detection for Ethereum smart contracts
- you want a research-backed symbolic execution analyzer for EVM bytecode

## When to avoid
- you need actively maintained tooling with support for the latest Solidity versions
- you target non-Ethereum blockchains or non-EVM bytecode

## Facets
- artifact type: cli-tool
- maturity: maintenance
- function: security, vulnerability-scanning, static-site-generator
- domain: security, blockchain, developer-tools
- platform: python
- tags: smart-contracts, ethereum, static-analysis, solidity, symbolic-execution, linux, macos, docker

## Member repositories
- enzymefinance/oyente (main) score 10

## Provenance
- Observed fields: from GitHub, fetched 2026-08-28T04:04:25.806202+00:00.
- Health v2: computed from the inputs above; adoption is never an input.
- Inferred fields (summary, facets, guidance): AI-extracted, prompt v1, taxonomy v1, on 2026-08-30T04:43:59.552618+00:00, confidence not recorded.
  - readme: https://github.com/enzymefinance/oyente (fetched 2026-08-28T04:04:25.806202+00:00, sha 6d36e187fcc6)
- Data as of 2026-08-30T08:39:29.467469+00:00.