EvalCallBacks (B2R2)

EvalCallBacks Type

Namespace: B2R2.MiddleEnd.ConcEval
Assembly: B2R2.MiddleEnd.ConcEval.dll
Base Type: obj

Constructors

Constructor	Description
`EvalCallBacks()` Full Usage: `EvalCallBacks()` Returns: `EvalCallBacks`	Returns: `EvalCallBacks`

Instance members

Instance member	Description
`this.LoadEventHandler` Full Usage: `this.LoadEventHandler`	Memory load event handler.
`this.OnInstr(st)` Full Usage: `this.OnInstr(st)` Parameters: st : `EvalState` Returns: `EvalState`	st : `EvalState` Returns: `EvalState`
`this.OnLoad(pc) (addr) (v)` Full Usage: `this.OnLoad(pc) (addr) (v)` Parameters: pc : `Addr` addr : `Addr` v : `BitVector`	pc : `Addr` addr : `Addr` v : `BitVector`
`this.OnPut(pc) (v)` Full Usage: `this.OnPut(pc) (v)` Parameters: pc : `Addr` v : `BitVector`	pc : `Addr` v : `BitVector`
`this.OnSideEffect(eff) (st)` Full Usage: `this.OnSideEffect(eff) (st)` Parameters: eff : `SideEffect` st : `EvalState`	eff : `SideEffect` st : `EvalState`
`this.OnStmtEval(stmt)` Full Usage: `this.OnStmtEval(stmt)` Parameters: stmt : `Stmt`	stmt : `Stmt`
`this.OnStore(pc) (addr) (v)` Full Usage: `this.OnStore(pc) (addr) (v)` Parameters: pc : `Addr` addr : `Addr` v : `BitVector`	pc : `Addr` addr : `Addr` v : `BitVector`
`this.PerInstrHandler` Full Usage: `this.PerInstrHandler`	Per-instruction handler.
`this.PutEventHandler` Full Usage: `this.PutEventHandler`	Put event handler. The first parameter is PC, and the second is the value that is put to the destination.
`this.SideEffectEventHandler` Full Usage: `this.SideEffectEventHandler`	Side-effect event handler.
`this.StmtEvalEventHandler` Full Usage: `this.StmtEvalEventHandler`	Statement evaluation event handler.
`this.StoreEventHandler` Full Usage: `this.StoreEventHandler`	Memory store event handler.