C and C++ Binaries


IO.TAINT.CONF : Tainted Configuration Setting

Summary

A potentially-tainted value is used to construct a configuration setting.

Properties

Class Name Tainted Configuration Setting
Significance security
Mnemonic IO.TAINT.CONF
Categories
MisraC2023 MisraC2023:D.4.14 The validity of values received from external sources shall be checked
Misra2012 Misra2012:D.4.14 The validity of values received from external sources shall be checked
AUTOSARC++14 AUTOSARC++14:A27-0-1 Inputs from independent components shall be validated.
CWE CWE:15 External Control of System or Configuration Setting
DISA-6r1 DISA-6r1:V-222606 The application must validate all input.
  DISA-6r1:V-222609 The application must not be subject to input handling vulnerabilities.
DISA-5r3 DISA-5r3:V-70265 The application must validate all input.
  DISA-5r3:V-70271 The application must not be subject to input handling vulnerabilities.
DISA-4r3 DISA-4r3:V-70265 The application must validate all input.
  DISA-4r3:V-70271 The application must not be subject to input handling vulnerabilities.
DISA-3r10 DISA-3r10:V-6164 The designer will ensure the application validates all input.
Availability Available for C and C++.
Enabling Checks for this warning class are disabled by default. To enable them, add the following WARNING_FILTER rule to the project configuration file.
WARNING_FILTER += allow class="Tainted Configuration Setting"

Example

#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>

/* sethostid() is not present in all versions of unistd.h.
 * When present, it is only available to the superuser.
 */
int sethostid(long hostid);

int set_specified_hostid(FILE *f){
    char hostid[16];

    if (fgets(hostid, 16, f) == NULL ) return -1;
    return sethostid(atol(hostid)); /* 'Tainted Configuration Setting' warning issued here */
}

Triggers

CodeSonar ships with library models that allow it to recognize functions such as libc sethostid() and Win32 sethostid() that use one or more of their parameters to construct a configuration setting. If one of these functions is called with a potentially-tainted value in one of those parameter positions, a warning will be issued.

If you have created a custom library model for some function f() in terms of one of these existing models, calls to f() will also be capable of triggering Tainted Configuration Setting warnings.

Relevant Configuration File Parameters

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