Predicate TaintedWithPath::edges
Holds if (a,b) is an edge in the graph of data flow path explanations.
Import path
import semmle.code.cpp.ir.dataflow.DefaultTaintTrackingHolds if (a,b) is an edge in the graph of data flow path explanations.
import semmle.code.cpp.ir.dataflow.DefaultTaintTracking