val init : Binsec.Loader.Img.t -> Binsec.Virtual_address.t -> t
type context_change =
| NoChange
| EnteredFunction of string
| LeftFunction of string
val next :
t ->
exploration_only:bool ->
record_cfg:bool ->
Binsec.Virtual_address.t ->
unit
val start_fork : t -> unit
val next_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 visited_instructions : t -> Binsec.Virtual_address.Set.t