ISO/IEC TS 17961 C rules

Rule	Checker name
5.01: Accessing an object through a pointer to an incompatible type [ptrcomp]	MISRA.CAST.OBJ_PTR_TO_OBJ_PTR.2012
5.02: Accessing freed memory [accfree]	UFM.DEREF.MIGHT UFM.DEREF.MUST UFM.FFM.MIGHT UFM.FFM.MUST UFM.RETURN.MIGHT UFM.RETURN.MUST UFM.USE.MIGHT UFM.USE.MUST
5.04: No assignment in conditional expressions [boolasgn]	ASSIGCOND.CALL ASSIGCOND.GEN
5.06: Calling functions with incorrect arguments [argcomp]	MISRA.CAST.FUNC_PTR.2012 MISRA.FUNC.NOPROT.CALL
5.07: Calling signal from interruptible signal handlers [sigcall]	MISRA.STDLIB.SIGNAL MISRA.INCL.SIGNAL.2012
5.08: Calling system [syscall]	MISRA.STDLIB.ABORT.2012_AMD1
5.09: Comparison of padding data [padcomp]	MISRA.STDLIB.MEMCMP.PTR_ARG_TYPES
5.10: Converting a pointer to integer or integer to pointer [intptrconv]	MISRA.CAST.OBJ_PTR_TO_INT.2012
5.11: Converting pointer values to more strictly aligned pointer types [alignconv]	MISRA.CAST.OBJ_PTR_TO_OBJ_PTR.2012
5.12: Copying a FILE object [filecpy]	MISRA.FILE_PTR.DEREF.2012 MISRA.FILE_PTR.DEREF.CAST.2012 MISRA.FILE_PTR.DEREF.INDIRECT.2012 MISRA.FILE_PTR.DEREF.RETURN.2012
5.13: Declaring the same function or object in incompatible ways [funcdecl]	MISRA.FUNC.NO_PARAMS MISRA.FUNC.UNMATCHED.PARAMS MISRA.FUNC.UNNAMED.PARAMS MISRA.FUNC.PROT_FORM.KR.2012 MISRA.FUNC.NOPROT.DEF.2012
5.14: Dereferencing an out-of-domain pointer [nullref]	NPD.CHECK.CALL.MIGHT NPD.CHECK.CALL.MUST NPD.CHECK.MIGHT NPD.CHECK.MUST NPD.CONST.CALL NPD.CONST.DEREF NPD.FUNC.CALL.MIGHT NPD.FUNC.CALL.MUST NPD.FUNC.MIGHT NPD.FUNC.MUST NPD.GEN.CALL.MIGHT NPD.GEN.CALL.MUST NPD.GEN.MIGHT NPD.GEN.MUST RNPD.CALL RNPD.DEREF SV.TAINTED.DEREF SV.TAINTED.CALL.DEREF
5.15: Escaping of the address of an automatic object [addrescape]	LOCRET.ARG LOCRET.GLOB LOCRET.RET
5.17: Use of an implied default in a switch statement [swtchdflt]	MISRA.SWITCH.WELL_FORMED.DEFAULT.2012
5.18: Failing to close files or free dynamic memory when they are no longer needed [fileclose]	MLK.MIGHT MLK.MUST MLK.RET.MIGHT MLK.RET.MUST RH.LEAK
5.19: Failing to detect and handle standard library errors [liberr]	MISRA.FUNC.UNUSEDRET.2012
5.21: Allocating insufficient memory [insufmem]	INCORRECT.ALLOC_SIZE
5.22: Forming or using out-of-bounds pointers or array subscripts [invptr]	ABV.GENERAL ABV.GENERAL.MULTIDIMENSION ABV.ITERATOR ABV.MEMBER ABV.NON_ARRAY ABV.STACK CXX.SUSPICIOUS_INDEX_CHECK CXX.SUSPICIOUS_INDEX_CHECK.CALL CXX.SUSPICIOUS_INDEX_CHECK.ZERO RABV.CHECK MISRA.PTR.ARITH.NOT_SAME.2012
5.23: Freeing memory multiple times [dblfree]	UFM.FFM.MIGHT UFM.FFM.MUST
5.24: Including tainted or out-of-domain input in a format string [usrfmt]	SV.TAINTED.FMTSTR
5.26: Integer division errors [diverr]	DBZ.CONST DBZ.CONST.CALL DBZ.GENERAL DBZ.GENERAL.FLOAT DBZ.ITERATOR DBZ.ITERATOR.FLOAT DBZ.ITERATOR.CALL SV.TAINTED.BINOP SV.TAINTED.CALL.BINOP
5.28: Modifying string literals [strmod]	MISRA.STRING_LITERAL.NON_CONST.2012 CXX.OVERWRITE_CONST_CHAR
5.29: Modifying the string returned by getenv, localeconv, setlocale, and strerror [libmod]	MISRA.STDLIB.ILLEGAL_WRITE.2012_AMD1
5.30: Overflowing signed integers [intoflow]	NUM.OVERFLOW NUM.OVERFLOW.DF SV.TAINTED.BINOP SV.TAINTED.CALL.BINOP
5.31: Passing a non-null-terminated character sequence to a library function that expects a string [nonnullcs]	NNTS.MIGHT NNTS.MUST NNTS.TAINTED
5.32: Passing arguments to character-handling functions that are not representable as unsigned char [chrsgnext]	MISRA.STDLIB.CTYPE.RANGE.2012_AMD1
5.34: Reallocating or freeing memory that was not dynamically allocated [xfree]	FNH.MIGHT FNH.MUST FUM.GEN.MIGHT FUM.GEN.MUST
5.35: Referencing uninitialized memory [uninitref]	UNINIT.HEAP.MIGHT UNINIT.HEAP.MUST UNINIT.STACK.ARRAY.MIGHT UNINIT.STACK.ARRAY.MUST UNINIT.STACK.ARRAY.PARTIAL.MUST UNINIT.STACK.MIGHT UNINIT.STACK.MUST
5.37: Tainted strings are passed to a string copying function [taintstrcpy]	NNTS.TAINTED
5.38: Taking the size of a pointer to determine the size of the pointed-to type [sizeofptr]	MISRA.EXPR.SIZEOF.ARRAY_PARAM.2012_AMD1
5.39: Using a tainted value as an argument to an unprototyped function pointer [taintnoproto]	MISRA.FUNC.NO_PARAMS MISRA.FUNC.UNMATCHED.PARAMS MISRA.FUNC.UNNAMED.PARAMS MISRA.FUNC.PROT_FORM.KR.2012
5.40: Using a tainted value to write to an object using a formatted input or output function [taintformatio]	MISRA.DEFINE.STDIO.WCHAR.2012 MISRA.STDLIB.STDIO MISRA.STDLIB.STDIO.WCHAR.2012 MISRA.INCL.STDIO.2012
5.42: Using an object overwritten by getenv, localeconv, setlocale, and strerror [libuse]	MISRA.STDLIB.ILLEGAL_REUSE.2012_AMD1
5.44: Using identifiers that are reserved for the implementation [resident]	MISRA.DEFINE.WRONGNAME MISRA.DEFINE.WRONGNAME.UNDERSCORE MISRA.UNDEF.WRONGNAME MISRA.UNDEF.WRONGNAME.UNDERSCORE MISRA.STDLIB.WRONGNAME MISRA.STDLIB.WRONGNAME.UNDERSCORE
5.45: Using invalid format strings [invfmtstr]	SV.FMT_STR.PRINT_FORMAT_MISMATCH.BAD SV.FMT_STR.PRINT_FORMAT_MISMATCH.UNDESIRED SV.FMT_STR.PRINT_IMPROP_LENGTH SV.FMT_STR.PRINT_PARAMS_WRONGNUM.FEW SV.FMT_STR.PRINT_PARAMS_WRONGNUM.MANY SV.FMT_STR.SCAN_FORMAT_MISMATCH.BAD SV.FMT_STR.SCAN_FORMAT_MISMATCH.UNDESIRED SV.FMT_STR.SCAN_IMPROP_LENGTH SV.FMT_STR.SCAN_PARAMS_WRONGNUM.FEW SV.FMT_STR.SCAN_PARAMS_WRONGNUM.MANY SV.FMT_STR.UNKWN_FORMAT
5.46: Tainted, potentially mutilated, or out-of-domain integer values are used in a restricted sink [taintsink]	SV.TAINTED.INDEX_ACCESS SV.TAINTED.CALL.INDEX_ACCESS

ISO/IEC TS 17961 Coverage Overview

Total rules	46
Supported by Klocwork (including partial)	36
Partial rules supported	5.01, 5.04, 5.06, 5.10, 5.21, 5.28, 5.37, 5.30, 5.44, 5.46