Predicate Flow::clearsContent
Holds if captured variable v
is cleared at node
.
Import path
import codeql.dataflow.VariableCapture
predicate clearsContent(ClosureNode node, CapturedVariable v)
Holds if captured variable v
is cleared at node
.
import codeql.dataflow.VariableCapture
predicate clearsContent(ClosureNode node, CapturedVariable v)