Class Opcodes :: Conv_ovf_u4
A conv.ovf.u4
instruction.
Import path
import semmle.code.cil.Instructions
Direct supertypes
Indirect supertypes
Predicates
getOpcodeName |
Gets the opcode name of this instruction, for example |
getType |
Inherited predicates
canFlowNext |
Holds if this instruction passes control flow into the next instruction. |
from Instruction |
flowsTo |
Holds if this node flows to |
from DataFlowNode |
fromLibrary |
Holds if this element is from an assembly. |
from Element |
fromSource |
Holds if this element is from source code. |
from Element |
getALocalFlowSucc |
Holds if this node flows to |
from DataFlowNode |
getALocation |
Gets a location of this element, which can include locations in both DLLs and source files. |
from Instruction |
getAPredecessor |
Gets a predecessor of this node, if any. |
from ControlFlowNode |
getAPrimaryQlClass |
Gets the name of a primary CodeQL class to which this element belongs. |
from Element |
getASuccessor |
Gets a successor of this node, if any. |
from ControlFlowNode |
getASuccessorType |
Gets a successor instruction to this instruction. |
from Instruction |
getAccess |
Gets the declaration accessed by this instruction, if any. |
from Instruction |
getAnOperand |
Gets an operand of this instruction, if any. |
from ControlFlowNode |
getEnclosingCallable |
Gets the callable containing this expression. |
from Expr |
getExpr |
Gets the expression being converted. |
from Conversion |
getExtra |
Gets an extra field to display for this instruction, if any. |
from Instruction |
getFalseSuccessor |
Gets a false successor of this node, if any. |
from ControlFlowNode |
getFile |
Gets the file containing this element. |
from Element |
getHandler |
Gets the |
from Instruction |
getImplementation |
Gets the method containing this instruction. |
from Instruction |
getIndex |
Gets the index of this instruction. Instructions are sequenced from 0. |
from Instruction |
getLanguage |
Gets the “language” of this program element, as defined by the extension of the filename. For example, C# has language “cs”, and Visual Basic has language “vb”. |
from Element |
getLocation | from Instruction | |
getMethod |
Gets the method that contains this dataflow node. |
from Instruction |
getOpcode |
Gets the opcode of this instruction. |
from Instruction |
getOperand |
Gets an instruction that supplies the |
from ControlFlowNode |
getOperand |
Gets the operand of this unary expression. |
from UnaryExpr |
getOperandType |
Gets the type of the |
from ControlFlowNode |
getParent |
The “parent” of a CIL expression is taken to be the instruction that consumes the value pushed by this instruction. |
from Expr |
getParentExpr |
Gets an expression that consumes the output of this instruction on the stack. |
from ControlFlowNode |
getPopCount |
Gets the number of items this node pops from the stack. |
from UnaryExpr |
getPrimaryQlClasses |
Gets a comma-separated list of the names of the primary CodeQL classes to which this element belongs. |
from Element |
getPushCount |
Gets the number of items this node pushes onto the stack. This value is either 0 or 1, except for the instruction |
from Expr |
getStackSizeAfter |
Gets the stack size after this instruction. |
from ControlFlowNode |
getStackSizeBefore |
Gets the stack size before this instruction. |
from ControlFlowNode |
getTrueSuccessor |
Gets a true successor of this node, if any. |
from ControlFlowNode |
getValue |
Gets the constant value of this expression, if any. |
from Expr |
hasValue |
Holds if this expression has a value. |
from Expr |
isBranch |
Holds if this control flow node has more than one successor. |
from ControlFlowNode |
isJoin |
Holds if this control flow node has more than one predecessor. |
from ControlFlowNode |
toString | from Instruction | |
toStringExtra |
Gets a more verbose textual representation of this instruction. |
from Instruction |
toStringWithTypes |
Gets the full textual representation of this element, including type information. |
from Element |