Predicate Private :: Steps :: summaryExpectsContent
Holds if the value that is being tracked is expected to be stored inside
content c
at n
.
Import path
import semmle.code.java.dataflow.internal.FlowSummaryImpl
predicate
summaryExpectsContent
(
SummaryNode
n
,
ContentSet
c
)