Module IR

Import path

import semmle.code.cpp.ir.implementation.raw.IR

Imports

EdgeKind
IRBlock
IRFunction
IRType

Minimal, language-neutral type system for the IR.

IRVariable
Instruction
MemoryAccessKind
Operand

Classes

IRPropertyProvider

Class that provides additional properties to be dumped for IR instructions and blocks when using the PrintIR module. Libraries that compute additional facts about IR elements can extend the single instance of this class to specify the additional properties computed by the library.