Stmt (B2R2) | B2R2

Stmt Type

Namespace: B2R2.BinIR.LowUIR
Assembly: B2R2.BinIR.dll
Base Type: obj
All Interfaces: IEquatable<Stmt> , IStructuralEquatable

Represents a LowUIR statement. You must create Expr/Stmt through the AST module. NEVER directly construct Expr nor Stmt unless you know what you are doing.

Union cases

Union case	Description
`CJmp(Expr, Expr, Expr, HashConsingInfo)` Full Usage: `CJmp(Expr, Expr, Expr, HashConsingInfo)` Parameters: Item1 : `Expr` Item2 : `Expr` Item3 : `Expr` Item4 : `HashConsingInfo`	This statement represents a conditional jump to an LMark. The first argument specifies a jump condition. If the condition is true, jump to the address specified by the second argument. Otherwise, jump to the address specified by the third argument. Item1 : `Expr` Item2 : `Expr` Item3 : `Expr` Item4 : `HashConsingInfo`
`ExternalCall(Expr, HashConsingInfo)` Full Usage: `ExternalCall(Expr, HashConsingInfo)` Parameters: Item1 : `Expr` Item2 : `HashConsingInfo`	External function call. This statement represents a uninterpreted function call. The argument expression is in a curried form. Item1 : `Expr` Item2 : `HashConsingInfo`
`IEMark(uint32, HashConsingInfo)` Full Usage: `IEMark(uint32, HashConsingInfo)` Parameters: Item1 : `uint32` Item2 : `HashConsingInfo`	Metadata representing the end of a machine instruction. It contains the length of the current instruction. Item1 : `uint32` Item2 : `HashConsingInfo`
`ISMark(uint32, HashConsingInfo)` Full Usage: `ISMark(uint32, HashConsingInfo)` Parameters: Item1 : `uint32` Item2 : `HashConsingInfo`	Metadata representing the start of a machine instruction. More specifically, it contains the length of the instruction. There must be a single IMark per a machine instruction. Item1 : `uint32` Item2 : `HashConsingInfo`
`InterCJmp(Expr, Expr, Expr, HashConsingInfo)` Full Usage: `InterCJmp(Expr, Expr, Expr, HashConsingInfo)` Parameters: Item1 : `Expr` Item2 : `Expr` Item3 : `Expr` Item4 : `HashConsingInfo`	This is a conditional jump instruction to another instruction. The first argument specifies a jump condition. If the condition is true, change the program counter to jump to the address specified by the second argument. Otherwise, jump to the address specified by the third argument. Item1 : `Expr` Item2 : `Expr` Item3 : `Expr` Item4 : `HashConsingInfo`
`InterJmp(Expr, InterJmpKind, HashConsingInfo)` Full Usage: `InterJmp(Expr, InterJmpKind, HashConsingInfo)` Parameters: Item1 : `Expr` Item2 : `InterJmpKind` Item3 : `HashConsingInfo`	This is an unconditional jump instruction to another instruction. This is an inter-instruction jump unlike Jmp statement. The first argument is the jump target address. Item1 : `Expr` Item2 : `InterJmpKind` Item3 : `HashConsingInfo`
`Jmp(Expr, HashConsingInfo)` Full Usage: `Jmp(Expr, HashConsingInfo)` Parameters: Item1 : `Expr` Item2 : `HashConsingInfo`	This statement represents a jump (unconditional) to an LMark. The first argument specifies the target address. Item1 : `Expr` Item2 : `HashConsingInfo`
`LMark(Label, HashConsingInfo)` Full Usage: `LMark(Label, HashConsingInfo)` Parameters: Item1 : `Label` Item2 : `HashConsingInfo`	Metadata representing a label (as in an assembly language). LMark is only valid within a machine instruction. Item1 : `Label` Item2 : `HashConsingInfo`
`Put(Expr, Expr, HashConsingInfo)` Full Usage: `Put(Expr, Expr, HashConsingInfo)` Parameters: Item1 : `Expr` Item2 : `Expr` Item3 : `HashConsingInfo`	This statement puts a value into a register. The first argument is a destination operand, and the second argument is a source operand. The destination operand should have either a Var or a TempVar. Example: [Put(T_1:I32, Load(LE, T_2:I32))] loads a 32-bit value from the address T2, and store the value to the temporary register T1. Item1 : `Expr` Item2 : `Expr` Item3 : `HashConsingInfo`
`SideEffect(SideEffect, HashConsingInfo)` Full Usage: `SideEffect(SideEffect, HashConsingInfo)` Parameters: Item1 : `SideEffect` Item2 : `HashConsingInfo`	This represents an instruction with side effects such as a system call. Item1 : `SideEffect` Item2 : `HashConsingInfo`
`Store(Endian, Expr, Expr, HashConsingInfo)` Full Usage: `Store(Endian, Expr, Expr, HashConsingInfo)` Parameters: Item1 : `Endian` Item2 : `Expr` Item3 : `Expr` Item4 : `HashConsingInfo`	This statement stores a value into a memory. The first argument represents the endianness, the second argument is a destination operand, and the third argument is a value to store. Example: Store(LE, T_1:I32, T_2:I32) stores a 32-bit value T_2 into the address T_1 Item1 : `Endian` Item2 : `Expr` Item3 : `Expr` Item4 : `HashConsingInfo`

Instance members

Instance member	Description
`this.IsCJmp` Full Usage: `this.IsCJmp` Returns: `bool`	Returns: `bool`
`this.IsExternalCall` Full Usage: `this.IsExternalCall` Returns: `bool`	Returns: `bool`
`this.IsIEMark` Full Usage: `this.IsIEMark` Returns: `bool`	Returns: `bool`
`this.IsISMark` Full Usage: `this.IsISMark` Returns: `bool`	Returns: `bool`
`this.IsInterCJmp` Full Usage: `this.IsInterCJmp` Returns: `bool`	Returns: `bool`
`this.IsInterJmp` Full Usage: `this.IsInterJmp` Returns: `bool`	Returns: `bool`
`this.IsJmp` Full Usage: `this.IsJmp` Returns: `bool`	Returns: `bool`
`this.IsLMark` Full Usage: `this.IsLMark` Returns: `bool`	Returns: `bool`
`this.IsPut` Full Usage: `this.IsPut` Returns: `bool`	Returns: `bool`
`this.IsSideEffect` Full Usage: `this.IsSideEffect` Returns: `bool`	Returns: `bool`
`this.IsStore` Full Usage: `this.IsStore` Returns: `bool`	Returns: `bool`