Reentrancy guard on external-calling functions

Evidence summary #

V3 Pool uses lock() modifier (slot0.unlocked bool mutex) on mint, burn, swap, flash — all externally-calling state-mutating functions. V2 Pair uses lock modifier on swap, mint, burn. Infinity uses vault-lock mechanism. Multiple audits across 6 firms found no reentrancy issues in live functions.

Sources #

Methodology #

Determine whether all state-mutating functions that perform external calls carry `nonReentrant` or an equivalent reentrancy guard.

See the full factor methodology and distribution across all protocols →