package binsec_codex

  1. Overview
  2. Docs
package binsec_codex
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Cfg_analysis.VSource

Sourcetype call_stack = Binsec.Virtual_address.t list
include Graph.Sig.VERTEX with type t := t
include Graph.Sig.COMPARABLE with type t := t

Vertices are labeled.

Sourcetype label
Sourceval create : label -> t
Sourceval label : t -> label
Sourceval pretty : Format.formatter -> t -> unit
Sourceval pp_stack : Format.formatter -> call_stack -> unit
include Binsec.Sigs.Collection with type t := t
include Binsec.Sigs.HASHABLE with type t := t
include Binsec.Sigs.COMPARABLE with type t := t
val compare : t -> t -> int
Sourceval equal : t -> t -> bool
Sourceval hash : t -> int
module Map : sig ... end
module Set : sig ... end
module Hamt : Binsec.Hashamt.S with type key = t
module Htbl : sig ... end