Predicate Private :: summaryNodeRange
Holds if a synthesized summary node is needed for the state state in summarized
callable c.
Import path
import semmle.python.dataflow.new.internal.FlowSummaryImpl
predicate
summaryNodeRange
(
SummarizedCallable
c
,
SummaryNodeState
state
)