package binsec_codex

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

Module Create.SettingsSource

Sourcetype skip_type =
  1. | NotWhenInterpreting
  2. | Always
Sourcetype hook =
  1. | SkipTo of skip_type * Binsec.Virtual_address.t
  2. | Hook of Record_cfg.t -> Dba2CState.State.t -> Record_cfg.t * (Binsec.Virtual_address.t * Dba2CState.State.t) list
  3. | ChangeState of Dba2CState.State.t -> Dba2CState.State.t
  4. | Unroll of int
  5. | EndPath
  6. | Return of Types.TypedC.typ option
  7. | EntryCall of string * Types.TypedC.typ
Sourceval find_hook : Binsec.Virtual_address.t -> hook * string
Sourceval exploration_only : bool ref
Sourceval kernel_exit_point : Binsec.Virtual_address.t
Sourceval add_stop : Binsec.Virtual_address.t -> unit
Sourceval add_return_unknown : Binsec.Virtual_address.t -> Types.TypedC.typ -> unit
Sourceval add_entrycall : name:string -> Binsec.Virtual_address.t -> Types.TypedC.typ -> unit
Sourceval add_function_hook : name:string -> Binsec.Virtual_address.t -> Types.TypedC.typ -> unit
Sourceval add_return : Binsec.Virtual_address.t -> Types.TypedC.typ option -> unit