codeql/cpp-all
2.1.1-dev
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
Holds if data can flow from n1 to n2 in one step, excluding join steps from nodes that are always null.
n1
n2
import codeql.typeflow.UniversalFlow
predicate anyStep(FlowNode n1, FlowNode n2)