package binsec
Module Binsec_sse_loader.DisassemblySource
Source
type '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) hook
Source
type 'a knowledge = | May_read : Binsec_kernel.Dba_types.Var.Set.t option knowledge(*The (overapproximed) set of all variables a builtin may access. Variables that are not in this set may have an undefined value.
*)Nonemeans any variable may be read.| Must_write : Binsec_kernel.Dba_types.Var.Set.t knowledge(*The (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.
Source
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 ->
tSource
val 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