Reentrancy Oracle

Static reentrancy auditor for EVM contracts. Disassembles deployed bytecode, rebuilds the control-flow graph with symbolic-stack jump resolution, and proves whether an external call precedes a reachable state write (CEI violation) with no dominating reentrancy lock. Works on unverified contracts. Not regex.

https://reentrancy-oracle.vercel.app/pro/run

USE THIS RESOURCE

Start with a quote-only recipe. Payment signing stays in your project.

CODE

AI CODING TOOLS

quote-check.ts

const response = await fetch("https://reentrancy-oracle.vercel.app/pro/run", {
  method: "GET",
});

console.log(response.status);
console.log(Object.fromEntries(response.headers));
console.log((await response.text()).slice(0, 1000));

// A valid 402 is a quote, not a completed paid call.

This sends no payment. Inspect the 402 response before adding a wallet-enabled client.

JSON ↗developer docs →

STATUS HISTORY

JSON RSS

Exact route checked2026-07-10 15:07 UTC
non 402
Origin reachable2026-07-10 15:04 UTC
HEAD https://reentrancy-oracle.vercel.app/ returned 404.
Observed in 402-index2026-07-10 13:31 UTC
Discovered through self-registered.
Registry record checked2026-07-08 02:07 UTC
Registry health: degraded.

EVIDENCE

402-indexobserved 2026-07-10 · https://402index.io/api/v1/services

origin checkHEAD https://reentrancy-oracle.vercel.app/ → 404 on 2026-07-10

route quoteGET returned 404; no x402 quote was confirmed · 2026-07-10

Each record has an exact-route quote outcome. Unresolved templates and potentially mutating methods are labeled instead of being invoked without provider-specific test input. A quote is still separate from a settled paid call.

PAYMENT OPTIONS

The registry did not expose full payment options for this record.