Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Disassembly.Callbackval empty : tval register_hook :
t ->
Binsec_kernel.Virtual_address.t Binsec_kernel.Interval.t ->
?stage:Types.stage ->
'a hook ->
'a ->
tval register_instrumentation : t -> (Revision.t -> unit) -> tval register_knowledge : t -> 'a knowledge -> (Ir.builtin -> 'a option) -> t