TL;DR: External call re-enters the caller before state updates; the DAO-style vulnerability. Checks-effects-interactions is the fix.
Stub — to be filled in.
What it is
TODO
Preconditions / where it applies
TODO
Technique
TODO
Detection and defence
TODO
References