Class Opcode :: BufferMayWriteSideEffect

The Opcode for a BufferMayWriteSideEffectInstruction.

See the BufferMayWriteSideEffectInstruction documentation for more details.

Import path


                                import semmle.code.cpp.ir.IR

Direct supertypes

Indirect supertypes

Predicates

toString

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
getReadMemoryAccess	Gets the kind of memory access performed by this instruction’s `MemoryOperand`. Holds only for opcodes that read from memory.	from Opcode
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 UnsizedBufferWriteOpcode
hasAddressOperand	Holds if the instruction has an `AddressOperand`.	from BufferAccessOpcode
hasBufferSizeOperand	Holds if the instruction has a `BufferSizeOperand`.	from Opcode
hasBufferSizeOperand	Holds if the instruction has a `BufferSizeOperand`.	from Opcode
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
hasMayReadMemoryAccess	Holds if the instruction’s read memory access is a `may` read, as opposed to a `must` read.	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 MayWriteOpcode
hasOperand	Holds if the instruction must have an operand with the specified `OperandTag`.	from Opcode
hasOperand	Holds if the instruction must have an operand with the specified `OperandTag`.	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
hasOperandInternal	Holds if the instruction must have an operand with the specified `OperandTag`, ignoring `AddressOperandTag` and `BufferSizeOperandTag`.	from Opcode
hasOperandInternal	Holds if the instruction must have an operand with the specified `OperandTag`, ignoring `AddressOperandTag` and `BufferSizeOperandTag`.	from Opcode