B2R2
CFGEvaluator Module
Functions and values
| Function or value |
Description
|
Full Usage:
evalBlockFromScratch hdl blk
Parameters:
BinHandle
blk : IVertex<LowUIRBasicBlock>
Returns: EvalState
|
Concretely evaluate a basic block from an arbitrarily generated state.
|