Module Opcode

Import path

semmle.code.cpp.ir.implementation.Opcode

Classes

BinaryOpcode
BufferAccessOpcode

An opcode that accesses a buffer via an AddressOperand and a BufferSizeOperand.

BuiltInOpcode
CatchOpcode
CompareOpcode
CopyOpcode
MayWriteSideEffectOpcode

An opcode that may overwrite some, all, or none of an existing set of memory locations. Modeled as a read of the original contents, plus a “may” write of the new contents.

MemoryAccessOpcode
Opcode
OpcodeWithCondition
PointerArithmeticOpcode
PointerOffsetOpcode
ReadSideEffectOpcode

An opcode that reads from a set of memory locations as a side effect.

RelationalOpcode
ReturnOpcode
SideEffectOpcode
ThrowOpcode
UnaryOpcode
WriteSideEffectOpcode

An opcode that writes to a set of memory locations as a side effect.

Modules