Import path
import semmle.code.cpp.ir.dataflow.internal.TaintTrackingUtil
Predicates
| forceCachingInSameStage | This predicate exists to collapse the cached predicates in this module with the cached predicates in other C/C++ dataflow files, which is then collapsed with the cached predicates in DataFlowImplCommon.qll.
|
| localAdditionalTaintStep | Holds if taint can flow in one local step from nodeFrom to nodeTo excluding local data flow steps. That is, nodeFrom and nodeTo are likely to represent different objects.
|
| localTaintStep | Holds if taint propagates from nodeFrom to nodeTo in exactly one local (intra-procedural) step. This relation is only used for local taint flow (for example TaintTracking::localTaint(source, sink)) so it may contain special cases that should only apply to local taint flow.
|