C#

CSHARP.IO.TAINT.SIZE : Tainted Allocation Size (C#)

要旨

Tainted data flows into a allocation size method annotated as [AllocationSizeTrusted].

Checks for this class use the CodeSonar C# taint analysis. See Taint Tracking for CodeSonar C# Warning Classes for more information on this analysis, including lists of the methods that CodeSonar automatically recognizes as relevant and information about specifying additional methods that CodeSonar should recognize as taint sources, sinks, or sanitizers.

Use configuration parameter CSHARP_ANALYSIS_ADVANCED_INJECTION to specify the level of checking to perform for this and other taint-related warning classes:

プロパティ

クラス名 Tainted Allocation Size (C#)
日本語クラス名 Tainted Allocation Size (C#)
クラス分類 セキュリティ (security)
ニーモニック CSHARP.IO.TAINT.SIZE
カテゴリー
CWE CWE:789 Memory Allocation with Excessive Size Value
対応言語 C# で利用可能です。
有効/無効設定 このワーニングクラスのチェックはデフォルトで有効になっています。チェックを無効にするにはプロジェクト設定ファイル （configuration file）に以下の WARNING_FILTER ルールを追加してください。 
WARNING_FILTER += discard class="Tainted Allocation Size (C#)"

例 

using com.juliasoft.julia.checkers.injection;
using System;
using System.Collections;

using System.IO;
using System.Web;
using System.Web.UI;

public class AllocationSize : Page {

    public void ProcessRequest(HttpRequest request, HttpResponse response) {
        String data = request.Params["data"];
        ArrayList list = new ArrayList(user); // 'Tainted Allocation Size (C#)' warning issued here
        // ...
        }
    }
    // ...
}

解決法

Verify that a security error actually corresponds to unconstrained information flow from source locations into sink locations. If this is the case, add a sanitizing algorithm to clean data before it flows into sinks, or use safe statements to propagate data inside the program.

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

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