ISO/IEC TS 17961 ルール

Polyspace® でサポートされる ISO/IEC TS 17961 セキュリティ標準ルールのリストと説明

ISO/IEC TS 17961 は、セキュリティ保護されたコードを開発するためのルール セットです。ルールは、静的解析ツールから適用でき、過度の誤検知を生じないように設計されています。

Polyspace では、ISO/IEC TS 17961 セキュリティ標準に対してコードをチェックできます。[ISO/IEC TS 17961 をチェック] (-iso-17961) 解析オプションを使用して、このルールのサブセットを有効にします。

Polyspace 結果

ISO/IEC TS 17961 [accfree]Accessing freed memory
ISO/IEC TS 17961 [accsig]Accessing shared objects in signal handlers
ISO/IEC TS 17961 [addrescape]Escaping of the address of an automatic object
ISO/IEC TS 17961 [alignconv]Converting pointer values to more strictly aligned pointer types
ISO/IEC TS 17961 [argcomp]Calling functions with incorrect arguments
ISO/IEC TS 17961 [asyncsig]信号ハンドラーの中からの abort、_Exit、および signal 以外の C 標準ライブラリの関数の呼び出し
ISO/IEC TS 17961 [boolasgn]No assignment in conditional expressions
ISO/IEC TS 17961 [chreof]EOF と区別できない文字値の使用
ISO/IEC TS 17961 [chrsgnext]符号なし char として表現できない文字処理関数に引数を渡す
ISO/IEC TS 17961 [dblfree]Freeing memory multiple times
ISO/IEC TS 17961 [diverr]Integer division errors
ISO/IEC TS 17961 [fileclose]Failing to close files or free dynamic memory when they are no longer needed
ISO/IEC TS 17961 [filecpy]FILE オブジェクトのコピー
ISO/IEC TS 17961 [funcdecl]Declaring the same function or object in incompatible ways
ISO/IEC TS 17961 [insufmem]Allocating insufficient memory
ISO/IEC TS 17961 [intoflow]Overflowing signed integers
ISO/IEC TS 17961 [intptrconv]Converting a pointer to integer or integer to pointer
ISO/IEC TS 17961 [inverrno]errno の不適切な設定および使用
ISO/IEC TS 17961 [invfmtstr]Using invalid format strings
ISO/IEC TS 17961 [invptr]範囲外のポインターまたは配列の添字の形成または使用
ISO/IEC TS 17961 [ioileave]Interleaving stream inputs and outputs without a flush or positioning call
ISO/IEC TS 17961 [liberr]Failing to detect and handle standard library errors
ISO/IEC TS 17961 [libmod]getenv、localeconv、setlocale、および strerror が返す文字列の変更
ISO/IEC TS 17961 [libptr]Forming invalid pointers by library function
ISO/IEC TS 17961 [libuse]getenv、localeconv、setlocale、および strerror によって上書きされるオブジェクトの使用
ISO/IEC TS 17961 [nonnullcs]ライブラリ関数に非 NULL 終端文字列を渡す
ISO/IEC TS 17961 [nullref]Dereferencing an out-of-domain pointer
ISO/IEC TS 17961 [padcomp]Comparison of padding data
ISO/IEC TS 17961 [ptrcomp]Accessing an object through a pointer to an incompatible type
ISO/IEC TS 17961 [ptrobj]Subtracting or comparing two pointers that do not refer to the same array
ISO/IEC TS 17961 [resident]Using identifiers that are reserved for the implementation
ISO/IEC TS 17961 [restrict]同じオブジェクトを指すポインターを異なる制限修飾子付きパラメーターに引数として渡す
ISO/IEC TS 17961 [sigcall]中断可能な信号ハンドラーからの信号の呼び出し
ISO/IEC TS 17961 [signconv]Conversion of signed characters to wider integer types before a check for EOF
ISO/IEC TS 17961 [sizeofptr]Taking the size of a pointer to determine the size of the pointed-to type
ISO/IEC TS 17961 [strmod]文字列リテラルの変更
ISO/IEC TS 17961 [swtchdflt]switch ステートメントでの暗黙的な既定値の使用
ISO/IEC TS 17961 [syscall]システムの呼び出し
ISO/IEC TS 17961 [taintformatio]Using a tainted value to write to an object using a formatted input or output function
ISO/IEC TS 17961 [taintnoproto]Using a tainted value as an argument to an unprototyped function pointer
ISO/IEC TS 17961 [taintsink]Tainted, potentially mutilated, or out-of-domain integer values are used in a restricted sink
ISO/IEC TS 17961 [taintstrcpy]Tainted strings are passed to a string copying function
ISO/IEC TS 17961 [uninitref]Referencing uninitialized memory
ISO/IEC TS 17961 [usrfmt]Including tainted or out-of-domain input in a format string
ISO/IEC TS 17961 [xfilepos]fgetpos が返す値以外の値を fsetpos で使用
ISO/IEC TS 17961 [xfree]Reallocating or freeing memory that was not dynamically allocated

トピック