CodeQL library for C/C++
codeql/cpp-all 0.9.2 ( changelog , source )
Search

Member predicate VariableAccess :: isAddressOfAccessNonConst

Holds if this access is used to get the address of the underlying variable in such a way that the address might escape as a pointer or reference to non-const data. This can be either explicit, for example &x, or implicit, for example T& y = x.

predicate isAddressOfAccessNonConst ( )