CodeQL library for C/C++

codeql/cpp-all 0.12.11 (changelog, source)

Class SizedBufferReadOpcode

An opcode that reads from a memory buffer whose size is determined by a BufferSizeOperand.

Import path

import semmle.code.cpp.ir.IR

Direct supertypes

SizedBufferAccessOpcode

Indirect supertypes

Known direct subtypes

SizedBufferReadSideEffect

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 BufferAccessOpcode
hasBufferSizeOperand	Holds if the instruction has a `BufferSizeOperand`.	from SizedBufferAccessOpcode
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