Predicate localTaint
Holds if taint propagates from source
to sink
in zero or more local
(intra-procedural) steps.
Import path
import semmle.python.dataflow.new.internal.TaintTrackingPublic
predicate localTaint(Node source, Node sink)
Holds if taint propagates from source
to sink
in zero or more local
(intra-procedural) steps.
import semmle.python.dataflow.new.internal.TaintTrackingPublic
predicate localTaint(Node source, Node sink)