Function or value | Description |
Full Usage:
evalBlock hdl blk
Parameters:
BinHandle
blk : Vertex<IRBasicBlock>
Returns: EvalState
|
|
Full Usage:
evalFunctionUntilStopFn hdl fn stopFn
Parameters:
BinHandle
fn : RegularFunction
stopFn : Vertex<IRBasicBlock> -> bool
Returns: EvalState option
|
|
|
|
Full Usage:
readReg st regID
Parameters:
EvalState
regID : RegisterID
Returns: BitVector option
|
|