EN JP CN

CERT C and C++ IDs mapped to Klocwork community C and C++ checkers

List of Klocwork community C/C++ checkers that map to the secure coding standard defined by the computer emergency response team (CERT).

Rule	Klocwork Checker Code and Description
CERT CON50-CPP: Do not destroy a mutex while it is locked	`CERT.CONC.MUTEX.DESTROY_WHILE_LOCKED`
CERT CON54-CPP: Wrap functions that can spuriously wake up in a loop	`CERT.CONC.WAKE_IN_LOOP`
CERT CON55-CPP: Preserve thread safety and liveness when using condition variables	`CERT.CONC.UNSAFE_COND_VAR`
CERT DCL52-CPP: Never qualify a reference type with const or volatile	`CERT.DCL.REF_TYPE.CONST_OR_VOLATILE`
CERT DCL53-CPP: Do not write syntactically ambiguous declarations	`CERT.DCL.AMBIGUOUS_DECL`
CERT DCL54-CPP: Overload allocation and deallocation functions as a pair in the same scope	`CERT.DCL.SAME_SCOPE_ALLOC_DEALLOC`
CERT DCL58-CPP: Do not modify the standard namespaces	`CERT.DCL.STD_NS_MODIFIED`
CERT ERR50-CPP: Do not abruptly terminate the program	`CERT.ERR.ABRUPT_TERM`
CERT ERR62-CPP: Detect errors when converting a string to a number	`CERT.ERR.CONV.STR_TO_NUM`
CERT EXP32-C: Do not access a volatile object through a nonvolatile reference	`CERT.EXPR.VOLATILE.ADDR` `CERT.EXPR.VOLATILE.PTRPTR` `CERT.EXPR.VOLATILE.ADDR.PARAM`
CERT EXP51-CPP: Do not delete an array through a pointer of the incorrect type	`CERT.EXPR.DELETE_ARR.BASE_PTR`
CERT EXP57-CPP: Do not cast or delete pointers to incomplete classes	`CERT.EXPR.DELETE_PTR.INCOMPLETE_TYPE`
CERT EXP60-CPP: Do not pass a nonstandard-layout type object across execution boundaries	`CERT.EXPR.PASS_NON_STD_LAYOUT`
CERT MEM55-CPP: Honor replacement dynamic storage management requirements	`CERT.MEM.OVERRIDE.NEW` `CERT.MEM.OVERRIDE.DELETE`
CERT MSC50-CPP: Do not use std::rand() for generating pseudorandom numbers	`CERT.MSC.STD_RAND_CALL`
CERT MSC53-CPP: Do not return from a function declared [[noreturn]]	`CERT.MSC.NORETURN_FUNC_RETURNS`
CERT MSC54-CPP: A signal handler must be a plain old function	`CERT.MSC.SIG_HANDLER.POF`
CERT OOP53-CPP: Write constructor member initializers in the canonical order	`CERT.OOP.CTOR.INIT_ORDER`
CERT OOP55-CPP: Do not use pointer-to-member operators to access nonexistent members	`CERT.OOP.PTR_MEMBER.NO_MEMBER`
CERT OOP57-CPP: Prefer special member functions and overloaded operators to C Standard Library functions	`CERT.OOP.CSTD_FUNC_USE`
CERT OOP58-CPP: Copy operations must not mutate the source object	`CERT.OOP.COPY_MUTATES`
CERT POS47-C: Do not use threads that can be canceled asynchronously	`CERT.POS.THREAD.ASYNC_CANCEL`
CERT STR30-C: Do not attempt to modify string literals	`CERT.STR.ASSIGN.CONST_TO_NONCONST` `CERT.STR.ARG.CONST_TO_NONCONST`