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.2.tbz

sha256=11c5335f413cca0773ec8fd7804adeb2ae960fff834c35f7eb510c43dad51092

sha512=7d706de9c98a97017ef07d317552917f76ff771b95d1cf76ad6986558244a822ea72bdc89981689fb9b63837468ef378f30ff659a7e2578d0285ce5f037b6022

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