Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

C checkers

CERT C Secure Coding Standard

BAD_COMPARE

MSC02-A. Avoid errors of omission

BAD_FREE

MEM34-C. Only free memory allocated dynamically

CHAR_IO

FIO34-C. Use int to capture the return value of character IO functions

CHECKED_RETURN

FIO33-C. Detect and handle input output errors resulting in undefined behavior

DEADCODE

MSC07-A. Detect and remove dead code

FORWARD_NULL

EXP34-C. Ensure a null pointer is not dereferenced

MISSING_RETURN

MSC02-A. Avoid errors of omission

NEGATIVE_RETURNS

INT31-C. Ensure that integer conversions do not result in lost or misinterpreted data

NO_EFFECT

MSC12-A. Detect and remove code that has no effect

NULL_RETURNS

EXP34-C. Ensure a null pointer is not dereferenced

OVERRUN_STATIC

STR35-C. Do not copy data from an unbounded source to a fixed-length array

OVERRUN_DYNAMIC

STR35-C. Do not copy data from an unbounded source to a fixed-length array

RESOURCE_LEAK

MEM31-C. Free dynamically allocated memory exactly once

RETURN_LOCAL

DCL30-C. Declare objects with appropriate storage durations

REVERSE_INULL

EXP34-C. Ensure a null pointer is not dereferenced

REVERSE_NEGATIVE

INT31-C. Ensure that integer conversions do not result in lost or misinterpreted data

SIZECHECK

MEM35-C. Allocate sufficient memory for an object

STACK_USE

MEM05-AC. Avoid large stack allocations

UNINIT

EXP33-C. Do not reference uninitialized memory

UNUSED_VALUE

MSC13-A. Detect and remove unused values

USE_AFTER_FREE

MEM30-C. Do not access freed memory, MEM31-C. Free dynamically allocated memory exactly once

VARARGS

No equivalent

...