CodeQL library for C/C++
codeql/cpp-all 0.4.4 (changelog, source)
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

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.