CodeQL library for C/C++

codeql/cpp-all 11.0.0 (changelog, source)

Class SourceVariables::NormalSourceVariable

A regular source variable. Most source variables are instances of this class.

Import path

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

Direct supertypes

Indirect supertypes

TSourceVariable

Inherited fields

base		from AbstractSourceVariable
ind		from AbstractSourceVariable

Predicates

Gets a textual representation of this element.

Inherited predicates

getBaseVariable	Gets the base source variable (i.e., the variable without any indirections) of this source variable.	from AbstractSourceVariable
getIRVariable	Gets the IR variable associated with this `SourceVariable`, if any.	from AbstractSourceVariable
getIndirection	Gets the number of loads performed on the base source variable to reach the value of this source variable.	from AbstractSourceVariable
getLocation	Gets the location of this variable.	from AbstractSourceVariable
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()`”.	from AbstractSourceVariable
isGLValue	Holds if this variable is a glvalue.	from AbstractSourceVariable

Charpred

NormalSourceVariable