Checker | Guideline |
|---|
| ASSIGCOND.BOOL | MSC02-CPP. Avoid errors of omission |
| ASSIGCOND.CALL | EXP19-CPP. Do not perform assignments in conditional expressions |
| ASSIGCOND.CALL | MSC02-CPP. Avoid errors of omission |
| ASSIGCOND.GEN | EXP19-CPP. Do not perform assignments in conditional expressions |
| ASSIGCOND.GEN | MSC02-CPP. Avoid errors of omission |
| CL.MLK.VIRTUAL | OOP52-CPP. Do not delete a polymorphic object without a virtual destructor |
| EFFECT | MSC02-CPP. Avoid errors of omission |
| IF_DUPL_HEADER | PRE08-CPP. Guarantee that header file names are unique |
| IF_MULTI_DECL | DCL01-CPP. Do not reuse variable names in subscopes |
| IF_MULTI_DEF | DCL01-CPP. Do not reuse variable names in subscopes |
| IF_MULTI_KIND | DCL01-CPP. Do not reuse variable names in subscopes |
| IF_ONLY_DECL | MSC13-CPP. Detect and remove unused values |
| IF_ONLY_DEF | MSC13-CPP. Detect and remove unused values |
| IF_ONLY_LOCAL | MSC13-CPP. Detect and remove unused values |
| INC.EXTRA | MSC12-CPP. Detect and remove code that has no effect |
| INCORRECT.ALLOC_SIZE | EXP01-CPP. Do not take the size of a pointer to determine the size of the pointed-to type |
| LA_UNUSED | MSC01-CPP. Strive for logical completeness |
| LV_UNUSED.DEAD | MSC07-CPP. Detect and remove dead code |
| LV_UNUSED.GEN | MSC13-CPP. Detect and remove unused values |
| NNTS | STR03-CPP. Do not inadvertently truncate a null-terminated character array |
| NNTS.TAINTED | STR02-CPP. Sanitize data passed to complex subsystems |
| PA_UNUSED.DEAD | MSC07-CPP. Detect and remove dead code |
| PA_UNUSED.GEN | MSC13-CPP. Detect and remove unused values |
| SEMICOL | MSC03-CPP. Avoid errors of addition |
| SV.CODE_INJECTION.SHELL_EXEC | ENV02-CPP. Do not call system() if you do not need a command processor |
| SV.CUDS.MISSING_ABSOLUTE_PATH | FIO02-CPP. Canonicalize path names originating from untrusted sources |
| SV.RVT.RETVAL_NOTTESTED | EXP12-CPP. Do not ignore values returned by functions or methods |
| SV.TAINTED.INJECTION | ENV02-CPP. Do not call system() if you do not need a command processor |
| SV.TAINTED.INJECTION | STR02-CPP. Sanitize data passed to complex subsystems |
| SV.TOCTOU.FILE_ACCESS | FIO01-CPP. Be careful using functions that use file names for identification |
| UFM.DEREF.MIGHT | MEM50-CPP. Do not access freed memory |
| UFM.DEREF.MUST | MEM50-CPP. Do not access freed memory |
| UFM.PARAMPASS.MIGHT | MEM50-CPP. Do not access freed memory |
| UFM.PARAMPASS.MUST | MEM50-CPP. Do not access freed memory |
| UFM.RETURN.MIGHT | MEM50-CPP. Do not access freed memory |
| UFM.RETURN.MUST | MEM50-CPP. Do not access freed memory |
| UFM.USE.MIGHT | MEM50-CPP. Do not access freed memory |
| UFM.USE.MUST | MEM50-CPP. Do not access freed memory |
| UNREACH.BREAK | MSC07-CPP. Detect and remove dead code |
| UNREACH.GEN | MSC07-CPP. Detect and remove dead code |
| UNREACH.RETURN | MSC07-CPP. Detect and remove dead code |
| UNREACH.RETURN0 | MSC07-CPP. Detect and remove dead code |
| VA_UNUSED.GEN | MSC13-CPP. Detect and remove unused values |
| VA_UNUSED.INIT | MSC13-CPP. Detect and remove unused values |
| VA_UNUSED.INITCONST | MSC13-CPP. Detect and remove unused values |
