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.cpp.ir.dataflow.internal.DataFlowPrivatepredicate expectsContent(Node n, ContentSet c)Holds if the value that is being tracked is expected to be stored inside content c
at node n.
import semmle.code.cpp.ir.dataflow.internal.DataFlowPrivatepredicate expectsContent(Node n, ContentSet c)