Checker | Guideline |
|---|
| | DCL31-C. Declare identifiers before using them |
| DCL36-C. Do not declare an identifier with conflicting linkage classifications |
| | EXP30-C. Do not depend on the order of evaluation for side effects |
| | EXP32-C. Do not access a volatile object through a nonvolatile reference |
| EXP33-C. Do not read uninitialized memory |
| | EXP35-C. Do not modify objects with temporary lifetime |
| |
| EXP36-C. Do not cast pointers into more strictly aligned pointer types |
| EXP37-C. Call functions with the correct number and type of arguments |
| EXP45-C. Do not perform assignments in selection statements |
| | FIO30-C. Exclude user input from format strings |
| | FIO47-C. Use valid format strings |
| DCL07-C. Include the appropriate type information in function declarators |
| DCL11-C. Understand the type issues associated with variadic functions |
| EXP05-C. Do not cast away a const qualification |
| EXP13-C. Treat relational and equality operators as if they were nonassociative |
| | EXP16-C. Do not compare function pointers to constant values |
| | MSC01-C. Strive for logical completeness |
| | MSC04-C. Use comments consistently and in a readable fashion |
| MSC07-C. Detect and remove dead code |
| PRE07-C. Avoid using repeated question marks |
| -Wchar-subscripts | STR34-C. Cast characters to unsigned char before converting to larger integer sizes |
| -Wunused-parameter | MSC12-C. Detect and remove code that has no effect or is never executed |
| -Wunused-value | MSC12-C. Detect and remove code that has no effect or is never executed |
