Predicate Cached::localTaintStepCached
Holds if taint propagates from nodeFrom
to nodeTo
in exactly one local
(intra-procedural) step.
Import path
import codeql.ruby.dataflow.internal.TaintTrackingPrivate
predicate localTaintStepCached(Node nodeFrom, Node nodeTo)