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

Class Def

Import path

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

Direct supertypes

Indirect supertypes

Fields

Predicates

getAddress
getAddressOperand
getIndirection

Gets the indirection level that this definition is writing to. For instance, x = y is a definition of x at indirection level 1 and *x = y is a definition of x at indirection level 2.

getIndirectionIndex

Gets the indirection index of this definition.

getValue
isCertain

Inherited predicates

asDefOrUse

Gets the underlying non-phi definition or use.

from DefOrUse
asPhi

Gets the underlying phi node.

from SsaDefOrUse
getLocation

Gets the location of this element.

from DefOrUse
getSourceVariablefrom DefOrUse
hasIndexInBlock

Holds if this definition (or use) has index index in block block, and is a definition (or use) of the variable sv.

from DefOrUse
toString

Gets a textual representation of this element.

from DefOrUse