Socket’s route had a require on it. Why the detector flags it anyway, and what 54 findings actually mean.

Reentrancy was expected here. The hard part was seeing which reachable function could change the balance being measured.

A sell tax that reconciled a liquidity pool’s reserves mid-transfer, and the property that catches it regardless of the mechanism.

Arcadia lost $3.5M to a call it let its caller shape. How a custom static detector catches that pattern on every commit, before the code ships.