Module `Binsec_sse.Disassembly`Source

Sourcetype 'a hook = 'a Binsec_sse_loader.Disassembly.hook =

| Fetch : (Binsec_kernel.Virtual_address.t -> Binsec_sse.Ir.Graph.t option) hook
| Decode : (Binsec_kernel.Virtual_address.t -> int Binsec_kernel.Reader.t -> Binsec_sse.Ir.Graph.t option) hook
| Disasm : (Binsec_kernel.Instruction.t -> Binsec_sse.Ir.Graph.t option) hook
| Rewrite : (Binsec_sse.Ir.Graph.t -> unit) hook

Sourcetype 'a knowledge = 'a Binsec_sse_loader.Disassembly.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.

module Callback : sig ... end

Sourcetype 'a config = 'a Compiler.config

Sourcetype 'a 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 ->
  'a config ->
  'a 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 ->
  'a config ->
  'a t

Sourceval address : 'a t -> Binsec_kernel.Virtual_address.t

Sourceval graph : 'a t -> Binsec_sse.Ir.View.t

Sourceval callback : 'a t -> Callback.t

Source

val killset : 
  'a t ->
  Binsec_sse.Ir.Graph.vertex ->
  Binsec_kernel.Dba_types.Var.Set.t

Source

val fetch_no_link : 
  'a t ->
  Binsec_kernel.Virtual_address.t ->
  ([ `All ], 'a) Types.fiber

Source

val disassemble_from : 
  'a t ->
  Binsec_kernel.Virtual_address.t ->
  ([ `All ], 'a) Types.fiber

Install

dune-project
Dependency

Authors

Maintainers

Sources

doc/binsec.sse/Binsec_sse/Disassembly/index.html

Module `Binsec_sse.Disassembly`Source

package binsec

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/binsec.sse/Binsec_sse/Disassembly/index.html

Module Binsec_sse.DisassemblySource

dune-project
Dependency

Module `Binsec_sse.Disassembly`Source