Predicate referenceStep
Holds if taint flows from pred to succ via a reference or dereference.
The taint-tracking library does not distinguish between a reference and its referent, treating one as tainted if the other is.
Import path
import semmle.go.dataflow.internal.TaintTrackingUtilpredicate referenceStep(Node pred, Node succ)