SEI CERT C++ Coding Standard

3.9 EXP58-CPP. Pass an object of the correct type to va_start 126
3.10 EXP59-CPP. Use offsetof() on valid types and members 130
3.11 EXP60-CPP. Do not pass a nonstandard-layout type object across execution
boundaries 134
3.12 EXP61-CPP. A lambda object must not outlive any of its reference captured objects 139
3.13 EXP62-CPP. Do not access the bits of an object representation that are not part
of the object’s value representation 142
3.14 EXP63-CPP. Do not rely on the value of a moved-from object 147
4 Integers (INT) 153
4.1 INT50-CPP. Do not cast to an out-of-range enumeration value 153
5 Containers (CTR) 157
5.1 CTR50-CPP. Guarantee that container indices and iterators are within the valid range 157
5.2 CTR51-CPP. Use valid references, pointers, and iterators to reference elements of a
container 163
5.3 CTR52-CPP. Guarantee that library functions do not overflow 170
5.4 CTR53-CPP. Use valid iterator ranges 174
5.5 CTR54-CPP. Do not subtract iterators that do not refer to the same container 177
5.6 CTR55-CPP. Do not use an additive operator on an iterator if the result would overflow 182
5.7 CTR56-CPP. Do not use pointer arithmetic on polymorphic objects 184
5.8 CTR57-CPP. Provide a valid ordering predicate 189
5.9 CTR58-CPP. Predicate function objects should not be mutable 193
6 Characters and Strings (STR) 198
6.1 STR50-CPP. Guarantee that storage for strings has sufficient space for character
data and the null terminator 198
6.2 STR51-CPP. Do not attempt to create a std::string from a null pointer 201
6.3 STR52-CPP. Use valid references, pointers, and iterators to reference elements of a
basic_string 205
6.4 STR53-CPP. Range check element access 209
7 Memory Management (MEM) 213
7.1 MEM50-CPP. Do not access freed memory 213
7.2 MEM51-CPP. Properly deallocate dynamically allocated resources 220
7.3 MEM52-CPP. Detect and handle memory allocation errors 233
7.4 MEM53-CPP. Explicitly construct and destruct objects when manually managing
object lifetime 238
7.5 MEM54-CPP. Provide placement new with properly aligned pointers to sufficient
storage capacity 243
7.6 MEM55-CPP. Honor replacement dynamic storage management requirements 249
7.7 MEM56-CPP. Do not store an already-owned pointer value in an unrelated smart
pointer 253
7.8 MEM57-CPP. Avoid using default operator new for over-aligned types 258
SEI CERT C++ CODING STANDARD (2016 EDITION) | V01
Software Engineering Institute | Carnegie Mellon University
[DISTRIBUTION STATEMENT A] Approved for public release and unlimited distribution.
ii