Checker | Guideline |
|---|
| FLP05-CPP. Convert integers to floating point for floating point operations |
| INT18-CPP. Evaluate integer expressions in a larger size before comparing or assigning to that size |
| ASSERT_SIDE_EFFECT | MSC11-CPP. Incorporate diagnostic tests using assertions |
| BAD_COMPARE | MSC02-CPP. Avoid errors of omission |
| CHECKED_RETURN | MEM52-CPP. Detect and handle memory allocation errors |
| CHECKED_RETURN | EXP12-CPP. Do not ignore values returned by functions or methods |
| CHECKED_RETURN | FIO04-CPP. Detect and handle input and output errors |
| DEADCODE | MSC07-CPP. Detect and remove dead code |
| DEADLOCK | CON53-CPP. Avoid deadlock by locking in a predefined order |
| DELETE_VOID | EXP57-CPP. Do not cast or delete pointers to incomplete classes |
| EVALUATION_ORDER | EXP50-CPP. Do not depend on the order of evaluation for side effects |
| Implemented | CTR01-CPP. Do not apply the sizeof operator to a pointer when taking the size of an array |
| MISSING_BREAK | MSC18-CPP. Finish every set of statements associated with a case label with a break statement |
| NO_EFFECT | MSC11-CPP. Incorporate diagnostic tests using assertions |
| RACE_CONDITION | CON52-CPP. Prevent data races when accessing bit-fields from multiple threads |
| UNREACHABLE | MSC07-CPP. Detect and remove dead code |
| UNUSED_VALUE | MSC12-CPP. Detect and remove code that has no effect |
| UNUSED_VALUE | MSC13-CPP. Detect and remove unused values |
| USE_AFTER_FREE | MEM50-CPP. Do not access freed memory |
| USE_AFTER_FREE | MEM01-CPP. Store a valid value in pointers immediately after deallocation |
| USE_AFTER_FREE | MEM11-CPP. Allocate and free memory in the same module, at the same level of abstraction |
