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 |
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 |
from BufferAccessOpcode |
hasBufferSizeOperand |
Holds if the instruction has a |
from Opcode |
hasMayReadMemoryAccess |
Holds if the instruction’s read memory access is a |
from Opcode |
hasMayWriteMemoryAccess |
Holds if the instruction’s write memory access is a |
from MayWriteOpcode |
hasOperand |
Holds if the instruction must have an operand with the specified |
from Opcode |
hasOperandInternal |
Holds if the instruction must have an operand with the specified |
from Opcode |