codeql/go-all
4.2.5-dev
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
Holds if data can flow from node1 to node2 in a way that loses the calling context. For example, this would happen with flow through a global or static variable.
node1
node2
import semmle.go.dataflow.internal.DataFlowPrivate
predicate jumpStep(Node n1, Node n2)