INT03-C: Use a secure integer library
INT30-C: Ensure that unsigned integer operations do not wrap
INT32-C: Ensure that operations on signed integers do not result in overflow
INT35-C: Evaluate integer expressions in a larger size before comparing or assigning to