Evaluator (B2R2)

Evaluator Module

Represents a concrete evaluation module for LowUIR.

Function or value	Description
`evalExpr st e` Full Usage: `evalExpr st e` Parameters: st : `EvalState` e : `Expr` Returns: `BitVector`	Evaluates a given expression in the context of the provided evaluation state. st : `EvalState` e : `Expr` Returns: `BitVector`
`evalStmt st stmt` Full Usage: `evalStmt st stmt` Parameters: st : `EvalState` stmt : `Stmt`	Evaluates a single statement in the context of the given EvalState. st : `EvalState` stmt : `Stmt`