JavaScript is not currently enabled, but is required for full CodeSonar manual search and browse functionality.

If you are viewing this file in your hub's Web GUI, enable JavaScript in your browser: you will also need it for GUI functionality.

If you opened this file directly from disk, your browser may be directly suppressing JavaScript functionality: certain browsers perform this suppression on local files (but not files delivered by web servers) for security reasons.

CodeSonar® 9.2p0 CONFIDENTIAL CodeSecure Inc
C and C++

ALLOC.SIZE.TRUNC : 割り当てサイズの切り捨て

要旨

メモリ割り当てサイズの計算は、 切り捨てを起こし予期せず割り当てブロックサイズが小さくなる危険性があります。

（注：切り捨てがメモリ割り当て以外の命令で使用するサイズの計算に影響する場合は、 代わりに （サイズの切り捨て） が適用されます）

プロパティ

クラス名 Truncation of Allocation Size
日本語クラス名 割り当てサイズの切り捨て
クラス分類 セキュリティ (security)
ニーモニック ALLOC.SIZE.TRUNC
カテゴリー
MisraC++2023 MisraC++2023:0.3.2 A function call shall not violate the function's preconditions
CWE CWE:131 Incorrect Calculation of Buffer Size
  CWE:192 Integer Coercion Error
  CWE:197 Numeric Truncation Error
  CWE:680 Integer Overflow to Buffer Overflow
TS17961 TS17961:5.45-taintsink Tainted, potentially mutilated, or out-of-domain integer values are used in a restricted sink
CERT-C CERT-C:INT02-C Understand integer conversion rules
  CERT-C:INT18-C Evaluate integer expressions in a larger size before comparing or assigning to that size
  CERT-C:INT31-C Ensure that integer conversions do not result in lost or misinterpreted data
  CERT-C:MEM35-C Allocate sufficient memory for an object
JSF++ JSF++:203 Evaluation of expressions shall not lead to overflow/underflow (unless required algorithmically and then should be heavily documented).
  JSF++:212 Underflow or overflow functioning shall not be depended on in any special way.
対応言語 C および C++ で利用可能です。
有効/無効設定 このワーニングクラスのチェックはデフォルトで無効になっています。チェックを有効にするにはプロジェクト設定ファイル （configuration file）に以下の WARNING_FILTER ルールを追加してください。 
WARNING_FILTER += allow class="Truncation of Allocation Size"

例 

#include <stdlib.h>

int do_trunc_alloc(int x){
    char *p =  malloc((char) x);  /* 'Truncation of Allocation Size' warning issued here. */
    int rv = 0;
    if (p){
        rv = 1;
    free(p);
    }
    return rv;
}

ワーニングを引き起こす関数

Truncation of Allocation Size warnings can be triggered by any function treated as an allocator by CodeSonar:

割り当てサイズの加算オーバーフロー、割り当てサイズの乗算オーバーフロー、割り当てサイズの減算アンダーフロー、割り当てサイズの切り捨ての各クラスは、同じトリガー関数が適用されます。

注釈

CodeSonar はワーニングの実行パス （core path） に入る前に与えられる整数値の制約は考慮していません。

関連のある設定ファイルパラメータ

設定ファイルの以下のパラメータがこのワーニングクラスのチェックに影響します。

 

To report problems with this documentation, please visit https://support.codesecure.com/.