Module Cfg_analysis.V

type call_stack = Binsec.Virtual_address.t list
type t = Binsec.Virtual_address.t * call_stack
include Graph.Sig.VERTEX with type t := t
type label
val create : label -> t
val label : t -> label
val pretty : Stdlib.Format.formatter -> t -> unit
val pp_stack : Stdlib.Format.formatter -> call_stack -> unit
include Binsec.Sigs.Collection with type t := t
val compare : t -> t -> int
val equal : t -> t -> bool
val hash : t -> int
module Map : sig ... end
module Set : sig ... end
module Hamt : sig ... end
module Htbl : sig ... end