| Info | title | Generated Content
|---|
| Note |
This page is automaticallygenerated from the "Automated Detection" sections in the individual guidelines. Do not modify this page directly. |
Version number:
v5.0
was automatically generated and should not be edited. |
| Note |
|---|
The information on this page was provided by outside contributors and has not been verified by SEI CERT. |
| Tip |
|---|
The table below can be re-ordered, by clicking column headers. |
...
| Include Page | ||||
|---|---|---|---|---|
|
Checker | Guideline |
|---|---|
| CHECKED_RETURN | MEM52-CPP. Detect and handle memory allocation errors |
| 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 |
| RACE_CONDITION | CON52-CPP. Prevent data races when accessing bit-fields from multiple threads |
| USE_AFTER_FREE | MEM50-CPP. Do not access freed memory |
C++ checkers | Rule |
| ARR01-CPP. Do not apply the sizeof operator to a pointer when taking the size of an array |
CHECKED_RETURN | EXP12-CPP. Do not ignore values returned by functions or methods |
MISSING_BREAK | MSC18-CPP. Finish every set of statements associated with a case label with a break statement |
NEGATIVE_RETURNS | ARR30-CPP. Guarantee that array and vector indices are within the valid range |