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