Checks-Effects-Interactions
Validate, update state, then call out — in that order.
A defensive ordering discipline: perform input checks, then write all state changes (effects), and only then make external interactions. It neutralizes most reentrancy by ensuring no external call observes un-finalized state.
Related cases
Related attack patterns