Predicate localTaintStep
Holds if taint can flow in one local step from src to sink.
Import path
import semmle.go.dataflow.internal.TaintTrackingUtilpredicate localTaintStep(Node src, Node sink)Holds if taint can flow in one local step from src to sink.
import semmle.go.dataflow.internal.TaintTrackingUtilpredicate localTaintStep(Node src, Node sink)