C checkers |
CERT C Secure Coding Standard |
REVERSE_INULL |
EXP34-C. Do not dereference null pointers |
CONSTANT_EXPRESSION_RESULT |
EXP17-C. Do not perform bitwise operations in conditional expressions |
STACK_USE |
MEM05-C. Avoid large stack allocations |
FORWARD_NULL |
EXP34-C. Do not dereference null pointers |
NULL_RETURNS |
EXP34-C. Do not dereference null pointers |
NEGATIVE_RETURNS |
INT31-C. Ensure that integer conversions do not result in lost or misinterpreted data |
ARRAY_VS_SINGLETON |
ARR30-C. Do not form or use out of bounds pointers or array subscripts |
CHAR_IO |
FIO34-C. Use int to capture the return value of character IO functions |
BAD_COMPARE |
MSC02-C. Avoid errors of omission |
RETURN_LOCAL |
DCL30-C. Declare objects with appropriate storage durations |
OVERRUN_DYNAMIC |
STR35-C. Do not copy data from an unbounded source to a fixed-length array |
MISSING_BREAK |
MSC17-C. Finish every set of statements associated with a case label with a break statement |
USE_AFTER_FREE |
MEM31-C. Free dynamically allocated memory exactly once |
NO_EFFECT |
MSC12-C. Detect and remove code that has no effect |
RESOURCE_LEAK |
MEM31-C. Free dynamically allocated memory exactly once |
BAD_ALLOC_STRLEN |
MEM35-C. Allocate sufficient memory for an object |
UNREACHABLE |
MSC07-C. Detect and remove dead code |
BAD_FREE |
MEM34-C. Only free memory allocated dynamically |
OVERRUN_STATIC |
STR35-C. Do not copy data from an unbounded source to a fixed-length array |
DEADCODE |
MSC07-C. Detect and remove dead code |
REVERSE_NEGATIVE |
INT31-C. Ensure that integer conversions do not result in lost or misinterpreted data |
MISRA_CAST |
INT31-C. Ensure that integer conversions do not result in lost or misinterpreted data |
UNUSED_VALUE |
MSC13-C. Detect and remove unused values |
ASSERT_SIDE_EFFECT |
MSC11-C. Incorporate diagnostic tests using assertions |
EVALUATION_ORDER |
EXP30-C. Do not depend on order of evaluation between sequence points |
SIZECHECK |
MEM35-C. Allocate sufficient memory for an object |
CHECKED_RETURN |
MEM32-C. Detect and handle memory allocation errors |