Binsec_sse_loader.DisassemblySourcetype 'a hook = | Fetch : (Binsec_kernel.Virtual_address.t -> Ir.Graph.t option) hook| Decode : (Binsec_kernel.Virtual_address.t ->
int Binsec_kernel.Reader.t ->
Ir.Graph.t option)
hook| Disasm : (Binsec_kernel.Instruction.t -> Ir.Graph.t option) hook| Rewrite : (Ir.Graph.t -> unit) hooktype 'a knowledge = | May_read : Binsec_kernel.Dba_types.Var.Set.t option knowledgeThe (overapproximed) set of all variables a builtin may access. Variables that are not in this set may have an undefined value. None means any variable may be read.
| Must_write : Binsec_kernel.Dba_types.Var.Set.t knowledgeThe (underapproximed) set of all variables a builtin must overwrite. Previous values of these variables are deemed no longer reachable.
*)Information to be used by optimization.
val create :
Callback.t ->
decoder:
(int Binsec_kernel.Reader.t ->
Binsec_kernel.Virtual_address.t ->
Binsec_kernel.Instruction.t) ->
Binsec_kernel.Virtual_address.t ->
Binsec_kernel.Virtual_address.t Binsec_kernel.Reader.t ->
Z.t ->
tval create_small :
Callback.t ->
decoder:
(int Binsec_kernel.Reader.t ->
Binsec_kernel.Virtual_address.t ->
Binsec_kernel.Instruction.t) ->
Binsec_kernel.Virtual_address.t ->
int Binsec_kernel.Reader.t ->
int ->
t