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.python.dataflow.new.internal.FlowSummaryImpl
predicate summaryExpectsContent(SummaryNode n, ContentSet c)