binsec.base
Binsec_base.Virtual_address
binsec
binsec.cli
binsec.domains
binsec.dwarf
binsec.isa
binsec.kernel
binsec.script
binsec.smtlib
binsec.sse
binsec.symbolic
binsec.unix
binsec_cli_bbsse
binsec_cli_disasm
binsec_cli_ghidra
binsec_cli_sse
binsec_cli_xtrasec
binsec_isa_armv7
binsec_isa_armv8
binsec_isa_ppc64
binsec_isa_riscv
binsec_isa_sparcv8
binsec_isa_x86_32
binsec_isa_x86_64
binsec_kernel_dba
binsec_kernel_isa
binsec_kernel_loader
binsec_kernel_parser
binsec_script_ast
binsec_smtlib_bindings
binsec_sse_checkct
binsec_sse_loader
binsec_sse_quick_merge
binsec_sse_shadow_stack
binsec_sse_stake
checkct
shadow_stack
stake
A virtual address is a simple location information corresponding to a physical (virtual) address of the underlying machine.
type t
val zero : t
val create : int -> t
val to_int : t -> int
val of_int32 : int32 -> t
val of_uint32 : Basic_types.Integers.uint32 -> t
val of_int64 : int64 -> t
val of_uint64 : Basic_types.Integers.uint64 -> t
val of_bitvector : Bitvector.t -> t
val to_int32 : t -> int32
val to_int64 : t -> int64
val of_bigint : Z.t -> t
val to_bigint : t -> Z.t
val of_string : string -> t
val to_string : t -> string
val add : t -> t -> t
val add_int : int -> t -> t
val add_bigint : Z.t -> t -> t
val succ : t -> t
val pred : t -> t
val diff : t -> t -> int
val modi : t -> int -> int
include Sigs.PRINTABLE with type t := t
val pp : Format.formatter -> t -> unit
include Collection.S with type t := t
include Sigs.HASHABLE with type t := t
include Sigs.COMPARABLE 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 Htbl : sig ... end
val pp_print : [ `x16 | `x32 | `x64 ] -> Format.formatter -> t -> unit
val pp_set : Format.formatter -> Set.t -> unit