Module TranslatedElement

Import path

import semmle.code.cpp.ir.implementation.raw.internal.TranslatedElement

Imports

IR

Provides classes that describe the Intermediate Representation (IR) of the program.

Predicates

getIRTempVariable
getIRUserVariable
hasTranslatedLoad

Holds if expr should have a TranslatedLoad on it.

isIRConstant

Holds if expr is a constant of a type that can be replaced directly with its value in the IR. This does not include address constants as we have no means to express those as QL values.

Classes

TranslatedElement

Represents an AST node for which IR needs to be generated.

Datatypes