Integer over/underflow (Solidity) TL;DR: Pre-0.8.x Solidity silently wrapped — SafeMath required. 0.8+ reverts; still relevant on legacy contracts. Stub — to be filled in. What it is TODO Preconditions / where it applies TODO Technique TODO Detection and defence TODO References TODO