package binsec

  1. Overview
  2. Docs

Module Ida_cfg.F

type t
val create : name:string -> edges:(VA.t * VA.t) list -> eps:VA.Set.t -> t
val of_list : name:string -> VA.t list -> t
val eps : t -> VA.Set.t
val blocks : t -> VA.t list H.t
val edges : t -> (VA.t * VA.t) list
val name : t -> string
val calls : t -> (VA.t * VA.t) list H.t
val pp_blocks : Format.formatter -> t -> unit
val pp_edges : Format.formatter -> t -> unit
val pp : Format.formatter -> t -> unit
val all_leaders : t -> VA.t list
val all_insts : t -> VA.t list
val set_name : t -> string -> unit
val set_eps : t -> VA.Set.t -> unit
val set_blocks : t -> VA.t -> VA.t list -> unit
val set_edges : t -> (VA.t * VA.t) list -> unit
val set_calls : t -> VA.t -> (VA.t * VA.t) list -> unit
val build_cfg : t -> C.t