package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Binsec_cli_disasm.InfosSource

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

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_allowed_jumpzones : (Binsec.Dba.address * Binsec.Dba.address) list -> t -> t
Sourceval 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