SymbEvaluator (B2R2)

SymbEvaluator Module

Represents a symbolic evaluation module for LowUIR.

Type	Description
SymbEvalStopReason	Represents a symbolic evaluation stop reason.
SymbEvalSuccessor	Represents the successor relation produced by symbolic evaluation.

Function or value	Description
`evalStmt st stmt` Full Usage: `evalStmt st stmt` Parameters: st : `SymbState` stmt : `Stmt` Returns: `SymbEvalSuccessor`	Evaluates one LowUIR statement. st : `SymbState` stmt : `Stmt` Returns: `SymbEvalSuccessor`