Predicate expectsContent
Holds if the value that is being tracked is expected to be stored inside content c
at node n
.
Import path
import semmle.code.java.dataflow.internal.DataFlowPrivate
predicate
expectsContent
(
Node
n
,
ContentSet
c
)