1 of 1 routes on responsive originsreentrancy-oracle.vercel.app
Baneado98
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.
1
resources
1
data sources
1
network identifiers
0
registry calls / 30d