Predicate modeledTaintStep
Holds if taint can flow from nodeIn
to nodeOut
through a call to a
modeled function.
Import path
import semmle.code.cpp.ir.dataflow.internal.TaintTrackingUtil
predicate modeledTaintStep(Node nodeIn, Node nodeOut, string model)