BAD_COMPARE | MSC02-A. Avoid errors of omission (1) |
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 (2) |
DEADCODE | [ MSC07-A. Detect and remove dead code |
FORWARD_NULL | [ EXP34-C. Ensure a pointer is valid before
dereferencing it (3) |
MISSING_RETURN[ MSC02-A. Avoid errors of omission < | https://www.securecoding.cert.org/confluence/display/seccode/ MSC02-A. + Avoid + errors + of + omission  Image Removed> |
NEGATIVE_RETURNS | [ INT31-C. Ensure that integer conversions
do not result in lost or misinterpreted data |
NO_EFFECT | [ No equivalent |
NULL_RETURNS | [ EXP34-C. Ensure a pointer is valid
before dereferencing it (3) |
OVERRUN_STATIC | [ STR34-C. Do not copy data from an
unbounded source to a fixed-length array |
OVERRUN_DYNAMIC | [ STR34-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. Do not refer to an object
outside of its lifetime |
REVERSE_INULL | EXP34-C. Ensure a pointer is valid
before dereferencing it (3) |
REVERSE_NEGATIVE | [ INT31-C. Ensure that integer conversions do
not result in lost or misinterpreted data |
SIZECHECK | [ No equivalent |
STACK_USE | [ MEM05-A. Avoid large stack allocations |
UNINIT | [ EXP33-C. Do not reference
uninitialized variables |
UNUSED_VALUE | [ No equivalent |
USE_AFTER_FREE | [ MEM30-C. Do not access freed memory |
VARARGS | [ (preview) No equivalent |
