CodeQL library for C/C++
codeql/cpp-all 3.0.1-dev (changelog, source)
Search

Module signature InputSig

Provides language-specific taint-tracking parameters.

Import path

import codeql.dataflow.TaintTracking

Predicates

defaultAdditionalTaintStep

Holds if the additional step from src to sink should be included in all global taint flow configurations.

defaultImplicitTaintRead

Holds if taint flow configurations should allow implicit reads of c at sinks and inputs to additional taint steps.

defaultTaintSanitizer

Holds if node should be a sanitizer in all global taint flow configurations but not in local taint.

speculativeTaintStep

Holds if the additional step from src to sink should be considered in speculative taint flow exploration.

Parameters