References

Carnegie-Mellon Software Engineering Institute

• Signed Integer Overflow
• Unsigned Integer Wrapping

Lectures

• Secure Coding (Integer Security)
• Integer Arithmetic and Undefined Behavior

Software

• SafeInt (C++)
• Boost SafeNumerics (C++)