package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Semantic analysis of binary executables

Install

Dune Dependency

binsec.github.io Readme Changelog LGPL-2.1-or-later License Edit opam file Versions (18)

Authors

Maintainers

B

BINSEC <binsec@saxifrage.saclay.cea.fr>

Sources

binsec-0.6.0.tbz

sha256=e9101e68d317c837d5cff9608c6fba2127dd31ef6373b9b90806780c1d80bb52

sha512=c01af277239b8cc84fb904c301897f7d2388a8c850c7cb6a53acb8a4f8d51115c8a595c5517843d076421a76f4b2becb16e722b4c90f19a8fa208cce5f3ba274

doc/binsec/Binsec/Virtual_address/index.html

Module `Binsec.Virtual_address`

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

On This Page

Virtual addresses