Labelled content

NUM00-J. Detect or prevent integer overflow (SEI CERT Oracle Coding Standard for Java)

INT10-C. Do not assume a positive remainder when using the % operator (SEI CERT C Coding Standard)

FLP06-C. Convert integers to floating point for floating-point operations (SEI CERT C Coding Standard)

INT13-C. Use bitwise operators only on unsigned operands (SEI CERT C Coding Standard)

INT07-C. Use only explicitly signed or unsigned char type for numeric values (SEI CERT C Coding Standard)

FLP32-C. Prevent or detect domain and range errors in math functions (SEI CERT C Coding Standard)