C checkers | Guideline |
|---|
| DCL07-C. Include the appropriate type information in function declarators |
| DCL11-C. Understand the type issues associated with variadic functions |
| DCL31-C. Declare identifiers before using them |
| Void DCL35-C. Call functions with the correct number and type of arguments | | DCL36-C. Do not declare an identifier with conflicting linkage classifications |
| 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 |
| 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 convert cast pointers into more strictly aligned pointer types |
| EXP37-C. Call functions with the correct number and type of arguments |
| void EXP38-C. Do not call offsetof() on bit-field members or invalid types | | EXP45-C. Do not perform assignments in selection statements |
| FIO30-C. Exclude user input from format strings |
| FIO47-C. Use valid format strings |
| MSC01-C. Strive for logical completeness | | void MSC02-C. Avoid errors of omission |
| 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 |
-Wunused-value | MSC12-C. Detect and remove code that has no effect |
