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

Class GlobalDef

Import path

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

Direct supertypes

Indirect supertypes

Fields

Predicates

getVariable

Gets the global (or static local) variable written to by this SSA definition.

Inherited predicates

definesAt

Holds if this SSA definition defines v at index i in basic block bb. Phi nodes are considered to be at index -1, while normal variable writes are at the index of the control flow node they wrap.

from Definition
getAnUltimateDefinition

Gets a definition that ultimately defines this SSA definition and is not itself a phi node.

from Definition
getBasicBlock

Gets the basic block to which this SSA definition belongs.

from Definition
getFunction

Gets the enclosing declaration of this definition.

from Definition
getIndirection

Gets the indirection of this definition.

from Definition
getIndirectionIndex

Gets the indirection index of this definition.

from Definition
getLocation

Gets the location of this SSA definition.

from Definition
getSourceVariable

Gets the source variable underlying this SSA definition.

from Definition
getUnderlyingType

Gets the underlying type of the variable being defined by this definition.

from Definition
getUnspecifiedType

Gets the unspecified type of the variable being defined by this definition.

from Definition
getValue

INTERNAL: Do not use.

from Definition
isCertain

Holds if this definition is guaranteed to totally overwrite the buffer being written to.

from Definition
toString

Gets a textual representation of this SSA definition.

from Definition

Charpred