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