Klocwork チェッカーにマッピングされた ISO/IEC TS 17961 C 規則

ガイドライン	チェッカー名
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]	FREE.INCONSISTENT 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.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.ITERATOR 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 対応の概要

規則の総数	46
Klocwork でサポートされるもの (部分的なものを含む)	36
サポートされる部分的な規則	5.01、5.04、5.06、5.10、5.21、5.28、5.37、5.30、5.44、5.46

"MISRA"、"MISRA C" および、"MISRA C++" は、The MISRA Consortium Limited の登録商標です。