Predicate TaintedWithPath::subpaths
Holds if there is flow from arg to out across a call that can by summarized by the flow
from par to ret within it, in the graph of data flow path explanations.
Import path
import semmle.code.cpp.ir.dataflow.DefaultTaintTracking