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

Class SourceVariables::SourceVariable

Import path

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

Direct supertypes

Known direct subtypes

    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