Module Create.Record_cfg

type t
val nb_forks : t -> int
val init : Binsec.Loader.Img.t -> Binsec.Virtual_address.t -> t
val reuse : t -> t
type context_change =
  1. | NoChange
  2. | EnteredFunction of string
  3. | LeftFunction of string
exception Visited_vertex
val next : t -> exploration_only:bool -> record_cfg:bool -> Binsec.Virtual_address.t -> unit
val set_position : t -> keep_forks:bool -> Cfg_analysis.Cfg.V.t -> unit
val current_position : t -> Cfg_analysis.V.t
val instruction_graph : t -> Cfg_analysis.Cfg.t
val call_stack_after_jump : t -> Cfg_analysis.Cfg.V.t -> Binsec.Virtual_address.t -> Cfg_analysis.V.call_stack * context_change
val start_fork : t -> unit
val next_fork : t -> unit
val end_fork : t -> unit
val close : t -> Binsec.Virtual_address.t -> graph_filename:string -> html_filename:string option -> (string, string) Stdlib.Hashtbl.t -> Cfg_analysis.Cfg.t
val graph_changed : t -> bool
val set_graph_changed : t -> bool -> unit
val back_edge : trace:t -> Cfg_analysis.Cfg.V.t -> Cfg_analysis.Cfg.V.t -> bool
val visited_instructions : t -> Binsec.Virtual_address.Set.t