Module MemoryAccessKind

Import path

semmle.code.cpp.ir.implementation.MemoryAccessKind

Imports

cpp

Provides classes and predicates for working with C/C++/ObjC/ObjC++ code.

Classes

BufferMayMemoryAccess

The operand or result may access some, all, or none of the memory starting at the address specified by the AddressOperand on the same instruction, accessing a number of consecutive elements given by the BufferSizeOperand.

BufferMemoryAccess

The operand or result accesses memory starting at the address specified by the AddressOperand on the same instruction, accessing a number of consecutive elements given by the BufferSizeOperand.

ChiPartialMemoryAccess

The operand is a ChiPartial operand, which accesses the same memory as its definition.

ChiTotalMemoryAccess

The operand is a ChiTotal operand, which accesses the same memory as its definition.

EscapedMemoryAccess

The operand or result accesses all memory whose address has escaped.

IndirectMayMemoryAccess

The operand or result may access some, all, or none of the memory at the address specified by the AddressOperand on the same instruction.

IndirectMemoryAccess

The operand or result accesses memory at the address specified by the AddressOperand on the same instruction.

MemoryAccessKind

Describes the set of memory locations memory accessed by a memory operand or memory result.

PhiMemoryAccess

The operand is a Phi operand, which accesses the same memory as its definition.

UnmodeledMemoryAccess

The operand accesses memory not modeled in SSA. Used only on the result of UnmodeledDefinition and on the operands of UnmodeledUse.