CodeQL library for C/C++
Search

Class TaintedWithPath::TaintTrackingConfiguration

A taint-tracking configuration that matches sources and sinks in the same way as the tainted predicate.

Override isSink and taintThroughGlobals as needed, but do not provide a characteristic predicate.

Import path

import semmle.code.cpp.ir.dataflow.DefaultTaintTracking

Direct supertypes

Known direct subtypes

    Predicates

    isBarrier

    Override this to specify which expressions are barriers in this configuration.

    isSink

    Override this to specify which elements are sinks in this configuration.

    isSource

    Override this to specify which elements are sources in this configuration.

    taintThroughGlobals

    Override this predicate to any() to allow taint to flow through global variables.

    toString

    Gets a textual representation of this element.