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

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.

If you access the manual through the hub's Web GUI, the functionality will not be suppressed because the hub is a web server.
Alternatively, your browser may allow you to explicitly disable the security setting that suppresses functionality. See the CodeSonar FAQ for more information.

CodeSonar^® 9.2p0

CONFIDENTIAL

CodeSecure Inc

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

Summary

Tainted data flows into a 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:

For basic checking, set CSHARP_ANALYSIS_ADVANCED_INJECTION=No in your project configuration file.
For advanced checking, set CSHARP_ANALYSIS_ADVANCED_INJECTION=Yes.

Properties

Class Name

Tainted Allocation Size (C#)

Significance

security

Mnemonic

CSHARP.IO.TAINT.SIZE

Example

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
        // ...
        }
    }
    // ...
}

Resolution

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.

Relevant Configuration File Parameters

The following configuration file parameters affect checks for this warning class.

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