codeql/cpp-all
0.9.2
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
Holds if data flows from source to sink in zero or more local (intra-procedural) steps.
source
sink
import semmle.code.cpp.ir.dataflow.internal.DataFlowUtil
predicate localFlow ( Node source , Node sink )