Predicate Private::Steps::summaryReadStep
Holds if there is a read step of content c
from pred
to succ
, which
is synthesized from a flow summary.
Import path
import semmle.code.java.dataflow.internal.FlowSummaryImpl
predicate summaryReadStep(Node pred, ContentSet c, Node succ)