Holds if there is a store step from node1
to node2
.
Import path
import codeql.dataflow.VariableCapture
predicate storeStep(ClosureNode node1, CapturedVariable v, ClosureNode node2)
Holds if there is a store step from node1
to node2
.
import codeql.dataflow.VariableCapture
predicate storeStep(ClosureNode node1, CapturedVariable v, ClosureNode node2)