codeql/cpp-all
4.1.1-dev
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
Holds if SSA variable (v, def) reaches result, where result is an access of v.
(v, def)
result
v
VariableAccess getAUse(ControlFlowNode def, StackVariable v)