Module `Binsec_sse_loader.Disassembly`Source

Sourcemodule Revision : sig ... end

Sourcetype stage =

| Early
| Late

Sourcetype '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

Sourcetype '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. None means 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.

Sourcemodule Callback : sig ... end

Sourcetype t

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 ->
  t

Source

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

Sourceval address : t -> Binsec_kernel.Virtual_address.t

Sourceval graph : t -> Ir.View.t

Sourceval callback : t -> Callback.t

Sourceval killset : t -> Ir.Graph.vertex -> Binsec_kernel.Dba_types.Var.Set.t

Sourceval fetch_no_link : t -> Binsec_kernel.Virtual_address.t -> Ir.Graph.vertex

Sourceval disassemble_from : t -> Binsec_kernel.Virtual_address.t -> Ir.Graph.vertex

Install

dune-project
Dependency

Authors

Maintainers

Sources

doc/binsec_sse_loader/Binsec_sse_loader/Disassembly/index.html

Module `Binsec_sse_loader.Disassembly`Source

package binsec

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/binsec_sse_loader/Binsec_sse_loader/Disassembly/index.html

Module Binsec_sse_loader.DisassemblySource

dune-project
Dependency

Module `Binsec_sse_loader.Disassembly`Source