package binsec

  1. Overview
  2. Docs
On This Page
  1. Virtual addresses
Legend:
Library
Module
Module type
Parameter
Class
Class type

Virtual addresses

A virtual address is a simple location information corresponding to a physical (virtual) address of the underlying machine.

exception Non_canonical_form
type t = private int
val zero : t
val create : int -> t
val to_int : t -> int
val equal : t -> t -> bool
val of_int64 : int64 -> t
val of_bitvector : Bitvector.t -> t
val to_int64 : t -> int64
val of_bigint : Z.t -> t
val to_bigint : t -> Z.t
val of_string : string -> t
val add_int : int -> t -> t
val succ : t -> t
val pred : t -> t
val diff : t -> t -> int
include Sigs.PRINTABLE with type t := t
val pp : Format.formatter -> t -> unit
include Sigs.Collection with type t := t
include Sigs.COMPARABLE with type t := t
val compare : t -> t -> int
module Map : sig ... end
module Set : sig ... end
module Hamt : Hashamt.S with type key = t
module Htbl : sig ... end
val pp_set : Format.formatter -> Set.t -> unit