Evaluator (B2R2)

Evaluator Module

ConcEval.Evaluator is a concrete evaluation module for LowUIR.

Function or value	Description
`concretizeArgs st acc _arg1` Full Usage: `concretizeArgs st acc _arg1` Parameters: st : `EvalState` acc : `BitVector list` _arg1 : `Expr list` Returns: `BitVector list`	st : `EvalState` acc : `BitVector list` _arg1 : `Expr list` Returns: `BitVector list`
`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`
`evalStmts stmts st` Full Usage: `evalStmts stmts st` Parameters: stmts : `Stmt array` st : `EvalState`	Evaluate a sequence of statements, assuming that the statements are lifted from a single instruction. stmts : `Stmt array` st : `EvalState`