CodeQL library for Java/Kotlin
codeql/java-all 4.2.1-dev (changelog, source)
Search

Predicate Make::Internal::anyStep

Holds if data can flow from n1 to n2 in one step, excluding join steps from nodes that are always null.

Import path

import codeql.typeflow.UniversalFlow
predicate anyStep(FlowNode n1, FlowNode n2)