Header menu logo B2R2

ExternalCallEventHandler Type

Namespace: B2R2.MiddleEnd.ConcEval
Assembly: B2R2.MiddleEnd.ConcEval.dll
Base Type: MulticastDelegate
All Interfaces: ICloneable , ISerializable
Delegate Signature: ExternalCallEventHandler(BitVector list * EvalState -> unit)

Represents a callback function that is invoked when an external call is encountered during the evaluation.

Instance members

Instance member Description

this.Invoke

Full Usage: this.Invoke

Parameters:
Modifiers: abstract
arg0 : BitVector list
arg1 : EvalState

Type something to start searching.