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.TaintTrackingUtilpredicate modeledTaintStep(Node nodeIn, Node nodeOut, string model)