Predicate fieldReadStep
Holds if taint flows from pred to succ via a field read.
Import path
import semmle.go.dataflow.internal.TaintTrackingUtilpredicate fieldReadStep(Node pred, Node succ)Holds if taint flows from pred to succ via a field read.
import semmle.go.dataflow.internal.TaintTrackingUtilpredicate fieldReadStep(Node pred, Node succ)