Predicate Private::Steps::summaryLocalStep
Holds if there is a local step from pred
to succ
, which is synthesized
from a flow summary.
Import path
import semmle.code.java.dataflow.internal.FlowSummaryImpl
predicate summaryLocalStep(SummaryNode pred, SummaryNode succ, boolean preservesValue)