Cross-Function Reentrancy Audit Scanner for Deployed Ethereum Contracts

A scanning service that replays a smart contract's real on-chain transaction history through EVM-trace Datalog rules and delivers an audit report flagging cross-function reentrancy behaviors that single-function detectors miss.