We ran our AI auditor against a live cash/escrow protocol. It found high-severity logic flaws — including an initialization race and state-pollution bugs. Details withheld under responsible disclosure.
We found a core-initialization path with no access control — the first caller can seize setup and point core contract addresses at attacker-controlled code. An initialization race.
Full details withheld. Project owners: contact for the report.
We found a balance path that deducts incorrectly when funds are low.
We found a shared state variable used across calls without reset, letting one call corrupt the next.
We found a guard that fails after its first use, allowing repeated deductions.
We found incorrect fee-deduction math.
Five high-severity logic bugs in a live protocol, found by AI in minutes. Full details available to the project owner under responsible disclosure.