Module TaintedWithPath
Provides definitions for augmenting source/sink pairs with data-flow paths
between them. From a @kind path-problem
query, import this module in the
global scope, extend TaintTrackingConfiguration
, and use taintedWithPath
in place of tainted
.
Importing this module will also import the query predicates that contain the taint paths.
Import path
import semmle.code.cpp.ir.dataflow.DefaultTaintTracking
Predicates
edges | Holds if |
nodes | Holds if |
subpaths | Holds if there is flow from |
taintedWithPath | Holds if |
taintedWithoutGlobals | Holds if |
Classes
PathNode | An opaque type used for the nodes of a data-flow path. |
TaintTrackingConfiguration | A taint-tracking configuration that matches sources and sinks in the same way as the |
Modules
Private | INTERNAL: Do not use. |