SymbExpr (B2R2) | B2R2

SymbExpr Module

Namespace: B2R2.MiddleEnd.SymbEval
Assembly: B2R2.MiddleEnd.SymbEval.dll

Symbolic expression helpers.

Functions and values

Function or value	Description
`SymbExpr.binop op typ lhs rhs` Full Usage: `SymbExpr.binop op typ lhs rhs` Parameters: op : `BinOpType` typ : `RegType` lhs : `SymbExpr` rhs : `SymbExpr` Returns: `SymbExpr`	op : `BinOpType` typ : `RegType` lhs : `SymbExpr` rhs : `SymbExpr` Returns: `SymbExpr`
`SymbExpr.cast kind typ expr` Full Usage: `SymbExpr.cast kind typ expr` Parameters: kind : `CastKind` typ : `RegType` expr : `SymbExpr` Returns: `SymbExpr`	kind : `CastKind` typ : `RegType` expr : `SymbExpr` Returns: `SymbExpr`
`SymbExpr.extract expr typ startPos` Full Usage: `SymbExpr.extract expr typ startPos` Parameters: expr : `SymbExpr` typ : `RegType` startPos : `int` Returns: `SymbExpr`	expr : `SymbExpr` typ : `RegType` startPos : `int` Returns: `SymbExpr`
`SymbExpr.falseExpr` Full Usage: `SymbExpr.falseExpr` Returns: `SymbExpr`	The 1-bit bit-vector false value used for LowUIR conditions. Returns: `SymbExpr`
`SymbExpr.funcApp name typ args` Full Usage: `SymbExpr.funcApp name typ args` Parameters: name : `string` typ : `RegType` args : `SymbExpr list` Returns: `SymbExpr`	name : `string` typ : `RegType` args : `SymbExpr list` Returns: `SymbExpr`
`SymbExpr.isCondition expr` Full Usage: `SymbExpr.isCondition expr` Parameters: expr : `SymbExpr` Returns: `bool`	Returns true when the expression has the 1-bit condition type. expr : `SymbExpr` Returns: `bool`
`SymbExpr.ite cond thenExpr elseExpr` Full Usage: `SymbExpr.ite cond thenExpr elseExpr` Parameters: cond : `SymbExpr` thenExpr : `SymbExpr` elseExpr : `SymbExpr` Returns: `SymbExpr`	cond : `SymbExpr` thenExpr : `SymbExpr` elseExpr : `SymbExpr` Returns: `SymbExpr`
`SymbExpr.load endian typ addr` Full Usage: `SymbExpr.load endian typ addr` Parameters: endian : `Endian` typ : `RegType` addr : `SymbExpr` Returns: `SymbExpr`	endian : `Endian` typ : `RegType` addr : `SymbExpr` Returns: `SymbExpr`
`SymbExpr.one typ` Full Usage: `SymbExpr.one typ` Parameters: typ : `int<MeasureProduct<rt, MeasureOne>>` Returns: `SymbExpr`	typ : `int<MeasureProduct<rt, MeasureOne>>` Returns: `SymbExpr`
`SymbExpr.relop op lhs rhs` Full Usage: `SymbExpr.relop op lhs rhs` Parameters: op : `RelOpType` lhs : `SymbExpr` rhs : `SymbExpr` Returns: `SymbExpr`	op : `RelOpType` lhs : `SymbExpr` rhs : `SymbExpr` Returns: `SymbExpr`
`SymbExpr.trueExpr` Full Usage: `SymbExpr.trueExpr` Returns: `SymbExpr`	The 1-bit bit-vector true value used for LowUIR conditions. Returns: `SymbExpr`
`SymbExpr.tryGetConcrete _arg1` Full Usage: `SymbExpr.tryGetConcrete _arg1` Parameters: _arg1 : `SymbExpr` Returns: `BitVector option`	_arg1 : `SymbExpr` Returns: `BitVector option`
`SymbExpr.tryGetConcreteAddr expr` Full Usage: `SymbExpr.tryGetConcreteAddr expr` Parameters: expr : `SymbExpr` Returns: `uint64 option`	expr : `SymbExpr` Returns: `uint64 option`
`SymbExpr.undef typ reason` Full Usage: `SymbExpr.undef typ reason` Parameters: typ : `RegType` reason : `string` Returns: `SymbExpr`	typ : `RegType` reason : `string` Returns: `SymbExpr`
`SymbExpr.unop op expr` Full Usage: `SymbExpr.unop op expr` Parameters: op : `UnOpType` expr : `SymbExpr` Returns: `SymbExpr`	op : `UnOpType` expr : `SymbExpr` Returns: `SymbExpr`
`SymbExpr.zero typ` Full Usage: `SymbExpr.zero typ` Parameters: typ : `int<MeasureProduct<rt, MeasureOne>>` Returns: `SymbExpr`	typ : `int<MeasureProduct<rt, MeasureOne>>` Returns: `SymbExpr`