package binsec

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t
val graph : t -> C.t
val ep : t -> VA.t option
val funcs : t -> F.t H.t
val add_function : t -> F.t -> unit
val calls : t -> (VA.t * VA.t) list H.t
val create : ?ep:VA.t -> unit -> t
val pp : Format.formatter -> t -> unit
val all_leaders : t -> VA.Set.t
val add_calls : t -> caller:VA.t -> callee:VA.t -> return:VA.t -> unit
val remove_edge : t -> C.V.t -> C.V.t -> unit
val disassemble_vertex : t -> C.V.t -> unit
val succ : t -> C.V.t -> C.V.t list
val pred : t -> C.V.t -> C.V.t list
val mem_vertex_a : t -> VA.t -> C.V.t option
val ret_nodes : t -> F.t -> VA.t list