SafeEvaluator (B2R2) | B2R2

SafeEvaluator Module

Namespace: B2R2.MiddleEnd.ConcEval
Assembly: B2R2.MiddleEnd.ConcEval.dll

ConcEval.SafeEvaluator is a safe concrete evaluation module for LowUIR. Unlike ConcEval.Evaluator, it does not raise exceptions, but it is slower than ConcEval.Evaluator.

Functions and values

Function or value	Description
`concretizeArgs st acc _arg1` Full Usage: `concretizeArgs st acc _arg1` Parameters: st : `EvalState` acc : `BitVector list` _arg1 : `Expr list` Returns: `Result<BitVector list, ErrorCase>`	st : `EvalState` acc : `BitVector list` _arg1 : `Expr list` Returns: `Result<BitVector list, ErrorCase>`
`evalBlock st pc blk` Full Usage: `evalBlock st pc blk` Parameters: st : `EvalState` pc : `uint64` blk : `Stmt[][]` Returns: `Result<EvalState, ErrorCase>`	Evaluate a series of statement arrays, assuming that each array is obtained from a single machine instruction. st : `EvalState` pc : `uint64` blk : `Stmt[][]` Returns: `Result<EvalState, ErrorCase>`
`evalConcrete st e` Full Usage: `evalConcrete st e` Parameters: st : `EvalState` e : `Expr` Returns: `Result<EvalValue, ErrorCase>`	st : `EvalState` e : `Expr` Returns: `Result<EvalValue, ErrorCase>`
`evalStmt st _arg1` Full Usage: `evalStmt st _arg1` Parameters: st : `EvalState` _arg1 : `S` Returns: `Result<unit, ErrorCase>`	Evaluate an IR statement. st : `EvalState` _arg1 : `S` Returns: `Result<unit, ErrorCase>`