Module Create.Settings

type skip_type =

1. | NotWhenInterpreting
2. | Always

type 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

val find_hook : Binsec.Virtual_address.t -> hook * string

val exploration_only : bool Stdlib.ref

val kernel_exit_point : Binsec.Virtual_address.t

val add_stop : Binsec.Virtual_address.t -> unit

val add_return_unknown : Binsec.Virtual_address.t -> Types.TypedC.typ -> unit

val add_skip : Binsec.Virtual_address.t -> dest:Binsec.Virtual_address.t -> unit

val add_entrycall : name:string -> Binsec.Virtual_address.t -> Types.TypedC.typ -> unit

val add_function_hook : name:string -> Binsec.Virtual_address.t -> Types.TypedC.typ -> unit

val add_return : Binsec.Virtual_address.t -> Types.TypedC.typ option -> unit