Module `Binsec_cli_disasm.Infos`Source

Abstract representation of configuration data for static analyses

Sourcetype instruction_kinds = Binsec.Dba.Instr.t list

Sourcetype widening_delay = int

Sourcemodule BoundThreshold : sig ... end

Sourcemodule WideningThreshold : sig ... end

Sourceval default_global_widening_thresholds : WideningThreshold.t

Sourceval default_global_widening_delay : int

Sourcetype t = private {

}

Configuration definition

Sourceval default : t

Constructors and modificators

Sourceval empty : t

Sourceval set_entry_points : Binsec.Virtual_address.Set.t -> t -> t

Sourceval has_entry_points : t -> bool

Sourceval set_jumps : Binsec.Dba.addresses Binsec.Dba_types.Caddress.Map.t -> t -> t

Sourceval set_stops : Binsec.Dba_types.Caddress.Set.t -> t -> t

val set_prepend_stubs : 
  instruction_kinds Binsec.Dba_types.Caddress.Map.t ->
  t ->
  t

val set_substitute_stubs : 
  Binsec.Dba_types.instruction_sequence Binsec.Dba_types.Caddress.Map.t ->
  t ->
  t

val set_allowed_jumpzones : 
  (Binsec.Dba.address * Binsec.Dba.address) list ->
  t ->
  t

val set_linear_addresses : 
  (Binsec.Dba.address * Binsec.Dba.address) list ->
  t ->
  t

Sourceval set_global_widening_delay : widening_delay -> t -> t

Sourceval set_global_widening_thresholds : WideningThreshold.t -> t -> t

Install