SafeEvaluator (B2R2)

SafeEvaluator Module

Represents a safe concrete evaluation module for LowUIR. Unlike Evaluator, it does not raise exceptions, although it may be little bit slower.

Function or value	Description
`evalExpr st e` Full Usage: `evalExpr st e` Parameters: st : `EvalState` e : `Expr` Returns: `Result<ConcEvalValue, ErrorCase>`	Evaluates a given expression in the context of the provided evaluation state. st : `EvalState` e : `Expr` Returns: `Result<ConcEvalValue, ErrorCase>`
`evalStmt st stmt` Full Usage: `evalStmt st stmt` Parameters: st : `EvalState` stmt : `Stmt` Returns: `Result<unit, ErrorCase>`	Evaluates an IR statement. st : `EvalState` stmt : `Stmt` Returns: `Result<unit, ErrorCase>`