codeql/cpp-all
0.6.0
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 )