codeql/cpp-all
0.12.10
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
Holds if the value of v in this control-flow node reaches defOrUse along some control-flow path without crossing a definition of v.
v
defOrUse
predicate reaches(boolean isDef, SemanticStackVariable v, DefOrUse defOrUse)