CodeQL library for C/C++

codeql/cpp-all 4.1.1-dev (changelog, source)

Class EntireAllocationReadOpcode

An opcode that reads from an entire memory allocation.

Import path

import semmle.code.cpp.ir.IR

Direct supertypes

EntireAllocationAccessOpcode

Indirect supertypes

Known direct subtypes

ReturnIndirection

Predicates

getReadMemoryAccess

Gets the kind of memory access performed by this instruction’s MemoryOperand. Holds only for opcodes that read from memory.

Inherited predicates

getWriteMemoryAccess	Gets the kind of memory access performed by this instruction’s result. Holds only for opcodes with a memory result.	from Opcode
hasAddressOperand	Holds if the instruction has an `AddressOperand`.	from EntireAllocationAccessOpcode
hasBufferSizeOperand	Holds if the instruction has a `BufferSizeOperand`.	from Opcode
hasMayReadMemoryAccess	Holds if the instruction’s read memory access is a `may` read, as opposed to a `must` read.	from Opcode
hasMayWriteMemoryAccess	Holds if the instruction’s write memory access is a `may` write, as opposed to a `must` write.	from Opcode
hasOperand	Holds if the instruction must have an operand with the specified `OperandTag`.	from Opcode
hasOperandInternal	Holds if the instruction must have an operand with the specified `OperandTag`, ignoring `AddressOperandTag` and `BufferSizeOperandTag`.	from Opcode
toString	Gets a textual representation of this element.	from Opcode