Predicate clearsContent
Holds if values stored inside content c
are cleared at node n
.
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowPrivate
predicate clearsContent(Node n, ContentSet c)
Holds if values stored inside content c
are cleared at node n
.
import semmle.code.cpp.ir.dataflow.internal.DataFlowPrivate
predicate clearsContent(Node n, ContentSet c)