Evaluator (B2R2)

Evaluator Module

ConcEval.Evaluator is a concrete evaluation module for LowUIR.

Function or value	Description
`evalBlock st pc tid blk` Full Usage: `evalBlock st pc tid blk` Parameters: st : `EvalState` pc : `Addr` tid : `int` blk : `Stmt[][]`	Evaluate a block of statements. The block represents a series of lifted IR statements from one or more machine instructions. st : `EvalState` pc : `Addr` tid : `int` blk : `Stmt[][]`
`evalBlockLoop idx blk st` Full Usage: `evalBlockLoop idx blk st` Parameters: idx : `int` blk : `Stmt[][]` st : `EvalState`	idx : `int` blk : `Stmt[][]` st : `EvalState`
`evalConcrete st e` Full Usage: `evalConcrete st e` Parameters: st : `EvalState` e : `Expr` Returns: `BitVector`	st : `EvalState` e : `Expr` Returns: `BitVector`
`evalStmt st s` Full Usage: `evalStmt st s` Parameters: st : `EvalState` s : `Stmt`	st : `EvalState` s : `Stmt`
`evalUndef st lhs` Full Usage: `evalUndef st lhs` Parameters: st : `EvalState` lhs : `Expr`	st : `EvalState` lhs : `Expr`