State (B2R2)

State Module

Function or value	Description
`evalExpr state e` Full Usage: `evalExpr state e` Parameters: state : `State` e : `Expr` Returns: `Value`	state : `State` e : `Expr` Returns: `Value`
`evalLoad state endian ty expr` Full Usage: `evalLoad state endian ty expr` Parameters: state : `State` endian : `Endian` ty : `RegType` expr : `Expr` Returns: `Value`	state : `State` endian : `Endian` ty : `RegType` expr : `Expr` Returns: `Value`
`evalStmt state stmt` Full Usage: `evalStmt state stmt` Parameters: state : `State` stmt : `Stmt` Returns: `State`	state : `State` stmt : `Stmt` Returns: `State`
`getEvalExpr state expr` Full Usage: `getEvalExpr state expr` Parameters: state : `State` expr : `Expr` Returns: `Expr`	state : `State` expr : `Expr` Returns: `Expr`
`initState` Full Usage: `initState` Returns: `State`	Returns: `State`
`updateMems a v mems` Full Usage: `updateMems a v mems` Parameters: a : `'a` v : `'b` mems : `Map<'a, 'b>` Returns: `Map<'a, 'b>`	a : `'a` v : `'b` mems : `Map<'a, 'b>` Returns: `Map<'a, 'b>`
`updateRegs r v regs` Full Usage: `updateRegs r v regs` Parameters: r : `'a` v : `'b` regs : `Map<'a, 'b>` Returns: `Map<'a, 'b>`	r : `'a` v : `'b` regs : `Map<'a, 'b>` Returns: `Map<'a, 'b>`