codeql/cpp-all
0.7.1
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.dataflow.DataFlow
predicate localFlow ( Node source , Node sink )