CodeQL library for C/C++
codeql/cpp-all 2.1.1 (changelog, source)
Search

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
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
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