Labelled content

ARR30-C. Do not form or use out-of-bounds pointers or array subscripts (SEI CERT C Coding Standard)

CTR55-CPP. Do not use an additive operator on an iterator if the result would overflow (SEI CERT C++ Coding Standard)

CTR50-CPP. Guarantee that container indices and iterators are within the valid range (SEI CERT C++ Coding Standard)

ARR00-C. Understand how arrays work (SEI CERT C Coding Standard)

INT32-C. Ensure that operations on signed integers do not result in overflow (SEI CERT C Coding Standard)