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

Class SourceVariables::SourceVariable

Import path

import semmle.code.cpp.ir.dataflow.internal.SsaInternals

Direct supertypes

Fields

Predicates

getBaseVariable

Gets the base source variable (i.e., the variable without any indirections) of this source variable.

getIRVariable

Gets the IR variable associated with this SourceVariable, if any.

getIndirection

Gets the number of loads performed on the base source variable to reach the value of this source variable.

getLocation

Gets the location of this variable.

getType

Gets the type of this source variable. If isGLValue() holds, then the type of this source variable should be thought of as “pointer to getType()”.

isGLValue

Holds if this variable is a glvalue.

toString

Gets a textual representation of this element.

Charpred