enzymefinance/oyente
An Analysis Tool for Smart Contracts observed · 2026-08-28
Health v2 · maintenance only
10/100
- Activity 0
- Release rhythm 8
- Longevity 100
Flags: archived
How is this computed?
round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10) — computed 2026-09-02. Adoption (stars, forks) is never an input.
- gap_med: n/a
- age_days: 3456
- days_rel: n/a
- days_push: 1322
- n_releases_24m: 0
Adoption not part of the score
1338 stars · 316 forks observed · 2026-08-28
What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded
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
cli-tool · maturity maintenance
security vulnerability-scanning static-site-generator security blockchain developer-tools python smart-contracts ethereum static-analysis solidity symbolic-execution linux macos docker
1 source
- readme: https://github.com/enzymefinance/oyente · fetched 2026-08-28 · 6d36e187fcc6
Member repositories
| Repository | Role | Health v2 |
|---|---|---|
| enzymefinance/oyente | main | 10 |
For agents
markdown · JSON · MCP: product_card(name="enzymefinance/oyente")
Data as of 2026-08-30T08:39:29.467469+00:00 · Report a problem