B2R2


EvalHelper Module

Functions and values

Function or value Description

evalBlock hdl blk

Full Usage: evalBlock hdl blk

Parameters:
Returns: EvalState
hdl : BinHandle
blk : Vertex<IRBasicBlock>
Returns: EvalState

evalFunctionUntilStopFn hdl fn stopFn

Full Usage: evalFunctionUntilStopFn hdl fn stopFn

Parameters:
Returns: EvalState option
hdl : BinHandle
fn : RegularFunction
stopFn : Vertex<IRBasicBlock> -> bool
Returns: EvalState option

readMem st addr endian size

Full Usage: readMem st addr endian size

Parameters:
Returns: uint64 option
st : EvalState
addr : BitVector
endian : Endian
size : RegType
Returns: uint64 option

readReg st regID

Full Usage: readReg st regID

Parameters:
Returns: BitVector option
st : EvalState
regID : RegisterID
Returns: BitVector option