CodeQL library for C/C++

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

Class Opcode::SizedBufferMayWriteSideEffect

The Opcode for a SizedBufferMayWriteSideEffectInstruction.

See the SizedBufferMayWriteSideEffectInstruction documentation for more details.

Import path

import semmle.code.cpp.ir.IR

Direct supertypes

Indirect supertypes

Predicates

Gets a textual representation of this element.

Inherited predicates

getReadMemoryAccess	Gets the kind of memory access performed by this instruction’s `MemoryOperand`. Holds only for opcodes that read from memory.	from Opcode
getWriteMemoryAccess	Gets the kind of memory access performed by this instruction’s result. Holds only for opcodes with a memory result.	from SizedBufferWriteOpcode
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 MayWriteOpcode
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