EN JP CN

NASA:Klocwork チェッカーにマッピングされた安全重視コード作成規則10項目

下表は、Klocwork C および C++ チェッカーに対して NASA が設けた安全重視ソフトウェア開発の最重要規則10項目をマッピングしたものです。

ルールKlocwork チェッカーコード
NASA 規則 1

MISRA.FUNC.RECUR

MISRA.GOTO

MISRA.STDLIB.LONGJMP

NASA 規則 2

INFINITE_LOOP.GLOBAL

INFINITE_LOOP.LOCAL

INFINITE_LOOP.MACRO

MISRA.FOR.COND

MISRA.FOR.COND.FLT

MISRA.FOR.INCR.CHANGE

MISRA.FOR.STMT.CHANGE

NASA 規則 3

MISRA.STDLIB.MEMORY

NASA 規則 4

現在、この規則に該当するチェッカーはありません。

NASA 規則 5

現在、この規則に該当するチェッカーはありません。

NASA 規則 6

MISRA.VAR.MIN.VIS

NASA 規則 7

SV.RVT.RETVAL_NOTTESTED

SV.TAINTED.ALLOC_SIZE

SV.TAINTED.CALL.INDEX_ACCESS

SV.TAINTED.CALL.LOOP_BOUND

SV.TAINTED.FMTSTR

SV.TAINTED.INDEX_ACCESS

SV.TAINTED.INJECTION

SV.TAINTED.LOOP_BOUND

NASA 規則 8

MISRA.DEFINE.BADEXP

MISRA.DEFINE.FUNC

MISRA.DEFINE.LONGNAME

MISRA.DEFINE.NOPARS

MISRA.DEFINE.NOTGLOBAL

MISRA.DEFINE.SHARP

MISRA.DEFINE.SHARP.MANY

MISRA.DEFINE.WRONGNAME

MISRA.DEFINE.WRONGNAME.UNDERSCORE

MISRA.ELIF.DEFINED

MISRA.ELIF.OTHERFILE

MISRA.ELIF.UNDEF

MISRA.ELIF.WRAPAROUND

MISRA.ELSE.OTHERFILE

MISRA.ENDIF.OTHERFILE

MISRA.EXPANSION.DIRECTIVE

MISRA.EXPANSION.NARGS

MISRA.EXPANSION.UNSAFE

MISRA.IF.DEFINED

MISRA.IF.UNDEF

MISRA.IF.WRAPAROUND

MISRA.INCL.BAD

MISRA.INCL.INSIDE

MISRA.INCL.SYMS

MISRA.INCL.UNSAFE

MISRA.PRAGMA

NASA 規則 9

MISRA.PTR.TO_PTR_TO_PTR

NASA 規則 10

現在、この規則に該当するチェッカーはありません。