Predicate readStep
Holds if data can flow from node1
to node2
via a read of f
.
Thus, node1
references an object with a field f
whose value ends up in
node2
.
Import path
import semmle.code.java.dataflow.internal.DataFlowPrivate
predicate readStep(Node node1, ContentSet f, Node node2)