We must mitigate all arithmetic wrap-around (overflow and underflow). This requires solving it for each of the three variable types:

• Detect signed integer wrap-around (overflow and underflow) #26
• Detect unsigned integer wrap-around (overflow and underflow) #27
• Detect pointer math wrap-around (overflow and underflow) #344