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

Predicate isDereference

Holds if deref is the result of loading the value at the address represented by address.

If additional = true then the dereference comes from an Indirection class (such as a call to an iterator’s operator*), and if additional = false the dereference is a LoadInstruction.

Import path

import semmle.code.cpp.ir.dataflow.internal.SsaInternalsCommon
predicate isDereference(Instruction deref, Operand address, boolean additional)