Std.Arch
Architecture
val bin_size_x86 : x86 Core_kernel.Bin_prot.Size.sizer
val bin_write_x86 : x86 Core_kernel.Bin_prot.Write.writer
val bin_writer_x86 : x86 Core_kernel.Bin_prot.Type_class.writer
val bin_read_x86 : x86 Core_kernel.Bin_prot.Read.reader
val __bin_read_x86__ : (int -> x86) Core_kernel.Bin_prot.Read.reader
val bin_reader_x86 : x86 Core_kernel.Bin_prot.Type_class.reader
val bin_x86 : x86 Core_kernel.Bin_prot.Type_class.t
val all_of_x86 : x86 list
val sexp_of_x86 : x86 -> Ppx_sexp_conv_lib.Sexp.t
val x86_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> x86
val __x86_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> x86
val bin_size_arm : arm Core_kernel.Bin_prot.Size.sizer
val bin_write_arm : arm Core_kernel.Bin_prot.Write.writer
val bin_writer_arm : arm Core_kernel.Bin_prot.Type_class.writer
val bin_read_arm : arm Core_kernel.Bin_prot.Read.reader
val __bin_read_arm__ : (int -> arm) Core_kernel.Bin_prot.Read.reader
val bin_reader_arm : arm Core_kernel.Bin_prot.Type_class.reader
val bin_arm : arm Core_kernel.Bin_prot.Type_class.t
val all_of_arm : arm list
val sexp_of_arm : arm -> Ppx_sexp_conv_lib.Sexp.t
val arm_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> arm
val __arm_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> arm
val bin_size_armeb : armeb Core_kernel.Bin_prot.Size.sizer
val bin_write_armeb : armeb Core_kernel.Bin_prot.Write.writer
val bin_writer_armeb : armeb Core_kernel.Bin_prot.Type_class.writer
val bin_read_armeb : armeb Core_kernel.Bin_prot.Read.reader
val __bin_read_armeb__ : (int -> armeb) Core_kernel.Bin_prot.Read.reader
val bin_reader_armeb : armeb Core_kernel.Bin_prot.Type_class.reader
val bin_armeb : armeb Core_kernel.Bin_prot.Type_class.t
val all_of_armeb : armeb list
val sexp_of_armeb : armeb -> Ppx_sexp_conv_lib.Sexp.t
val armeb_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> armeb
val __armeb_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> armeb
val bin_size_thumb : thumb Core_kernel.Bin_prot.Size.sizer
val bin_write_thumb : thumb Core_kernel.Bin_prot.Write.writer
val bin_writer_thumb : thumb Core_kernel.Bin_prot.Type_class.writer
val bin_read_thumb : thumb Core_kernel.Bin_prot.Read.reader
val __bin_read_thumb__ : (int -> thumb) Core_kernel.Bin_prot.Read.reader
val bin_reader_thumb : thumb Core_kernel.Bin_prot.Type_class.reader
val bin_thumb : thumb Core_kernel.Bin_prot.Type_class.t
val all_of_thumb : thumb list
val sexp_of_thumb : thumb -> Ppx_sexp_conv_lib.Sexp.t
val thumb_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> thumb
val __thumb_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> thumb
val bin_size_thumbeb : thumbeb Core_kernel.Bin_prot.Size.sizer
val bin_write_thumbeb : thumbeb Core_kernel.Bin_prot.Write.writer
val bin_writer_thumbeb : thumbeb Core_kernel.Bin_prot.Type_class.writer
val bin_read_thumbeb : thumbeb Core_kernel.Bin_prot.Read.reader
val __bin_read_thumbeb__ : (int -> thumbeb) Core_kernel.Bin_prot.Read.reader
val bin_reader_thumbeb : thumbeb Core_kernel.Bin_prot.Type_class.reader
val bin_thumbeb : thumbeb Core_kernel.Bin_prot.Type_class.t
val all_of_thumbeb : thumbeb list
val sexp_of_thumbeb : thumbeb -> Ppx_sexp_conv_lib.Sexp.t
val thumbeb_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> thumbeb
val __thumbeb_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> thumbeb
val bin_size_aarch64 : aarch64 Core_kernel.Bin_prot.Size.sizer
val bin_write_aarch64 : aarch64 Core_kernel.Bin_prot.Write.writer
val bin_writer_aarch64 : aarch64 Core_kernel.Bin_prot.Type_class.writer
val bin_read_aarch64 : aarch64 Core_kernel.Bin_prot.Read.reader
val __bin_read_aarch64__ : (int -> aarch64) Core_kernel.Bin_prot.Read.reader
val bin_reader_aarch64 : aarch64 Core_kernel.Bin_prot.Type_class.reader
val bin_aarch64 : aarch64 Core_kernel.Bin_prot.Type_class.t
val all_of_aarch64 : aarch64 list
val sexp_of_aarch64 : aarch64 -> Ppx_sexp_conv_lib.Sexp.t
val aarch64_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> aarch64
val __aarch64_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> aarch64
val bin_size_ppc : ppc Core_kernel.Bin_prot.Size.sizer
val bin_write_ppc : ppc Core_kernel.Bin_prot.Write.writer
val bin_writer_ppc : ppc Core_kernel.Bin_prot.Type_class.writer
val bin_read_ppc : ppc Core_kernel.Bin_prot.Read.reader
val __bin_read_ppc__ : (int -> ppc) Core_kernel.Bin_prot.Read.reader
val bin_reader_ppc : ppc Core_kernel.Bin_prot.Type_class.reader
val bin_ppc : ppc Core_kernel.Bin_prot.Type_class.t
val all_of_ppc : ppc list
val sexp_of_ppc : ppc -> Ppx_sexp_conv_lib.Sexp.t
val ppc_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> ppc
val __ppc_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> ppc
val bin_size_mips : mips Core_kernel.Bin_prot.Size.sizer
val bin_write_mips : mips Core_kernel.Bin_prot.Write.writer
val bin_writer_mips : mips Core_kernel.Bin_prot.Type_class.writer
val bin_read_mips : mips Core_kernel.Bin_prot.Read.reader
val __bin_read_mips__ : (int -> mips) Core_kernel.Bin_prot.Read.reader
val bin_reader_mips : mips Core_kernel.Bin_prot.Type_class.reader
val bin_mips : mips Core_kernel.Bin_prot.Type_class.t
val all_of_mips : mips list
val sexp_of_mips : mips -> Ppx_sexp_conv_lib.Sexp.t
val mips_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> mips
val __mips_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> mips
val bin_size_sparc : sparc Core_kernel.Bin_prot.Size.sizer
val bin_write_sparc : sparc Core_kernel.Bin_prot.Write.writer
val bin_writer_sparc : sparc Core_kernel.Bin_prot.Type_class.writer
val bin_read_sparc : sparc Core_kernel.Bin_prot.Read.reader
val __bin_read_sparc__ : (int -> sparc) Core_kernel.Bin_prot.Read.reader
val bin_reader_sparc : sparc Core_kernel.Bin_prot.Type_class.reader
val bin_sparc : sparc Core_kernel.Bin_prot.Type_class.t
val all_of_sparc : sparc list
val sexp_of_sparc : sparc -> Ppx_sexp_conv_lib.Sexp.t
val sparc_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> sparc
val __sparc_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> sparc
val bin_size_nvptx : nvptx Core_kernel.Bin_prot.Size.sizer
val bin_write_nvptx : nvptx Core_kernel.Bin_prot.Write.writer
val bin_writer_nvptx : nvptx Core_kernel.Bin_prot.Type_class.writer
val bin_read_nvptx : nvptx Core_kernel.Bin_prot.Read.reader
val __bin_read_nvptx__ : (int -> nvptx) Core_kernel.Bin_prot.Read.reader
val bin_reader_nvptx : nvptx Core_kernel.Bin_prot.Type_class.reader
val bin_nvptx : nvptx Core_kernel.Bin_prot.Type_class.t
val all_of_nvptx : nvptx list
val sexp_of_nvptx : nvptx -> Ppx_sexp_conv_lib.Sexp.t
val nvptx_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> nvptx
val __nvptx_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> nvptx
val bin_size_hexagon : hexagon Core_kernel.Bin_prot.Size.sizer
val bin_write_hexagon : hexagon Core_kernel.Bin_prot.Write.writer
val bin_writer_hexagon : hexagon Core_kernel.Bin_prot.Type_class.writer
val bin_read_hexagon : hexagon Core_kernel.Bin_prot.Read.reader
val __bin_read_hexagon__ : (int -> hexagon) Core_kernel.Bin_prot.Read.reader
val bin_reader_hexagon : hexagon Core_kernel.Bin_prot.Type_class.reader
val bin_hexagon : hexagon Core_kernel.Bin_prot.Type_class.t
val all_of_hexagon : hexagon list
val sexp_of_hexagon : hexagon -> Ppx_sexp_conv_lib.Sexp.t
val hexagon_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> hexagon
val __hexagon_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> hexagon
val bin_size_r600 : r600 Core_kernel.Bin_prot.Size.sizer
val bin_write_r600 : r600 Core_kernel.Bin_prot.Write.writer
val bin_writer_r600 : r600 Core_kernel.Bin_prot.Type_class.writer
val bin_read_r600 : r600 Core_kernel.Bin_prot.Read.reader
val __bin_read_r600__ : (int -> r600) Core_kernel.Bin_prot.Read.reader
val bin_reader_r600 : r600 Core_kernel.Bin_prot.Type_class.reader
val bin_r600 : r600 Core_kernel.Bin_prot.Type_class.t
val all_of_r600 : r600 list
val sexp_of_r600 : r600 -> Ppx_sexp_conv_lib.Sexp.t
val r600_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> r600
val __r600_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> r600
val bin_size_systemz : systemz Core_kernel.Bin_prot.Size.sizer
val bin_write_systemz : systemz Core_kernel.Bin_prot.Write.writer
val bin_writer_systemz : systemz Core_kernel.Bin_prot.Type_class.writer
val bin_read_systemz : systemz Core_kernel.Bin_prot.Read.reader
val __bin_read_systemz__ : (int -> systemz) Core_kernel.Bin_prot.Read.reader
val bin_reader_systemz : systemz Core_kernel.Bin_prot.Type_class.reader
val bin_systemz : systemz Core_kernel.Bin_prot.Type_class.t
val all_of_systemz : systemz list
val sexp_of_systemz : systemz -> Ppx_sexp_conv_lib.Sexp.t
val systemz_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> systemz
val __systemz_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> systemz
val bin_size_xcore : xcore Core_kernel.Bin_prot.Size.sizer
val bin_write_xcore : xcore Core_kernel.Bin_prot.Write.writer
val bin_writer_xcore : xcore Core_kernel.Bin_prot.Type_class.writer
val bin_read_xcore : xcore Core_kernel.Bin_prot.Read.reader
val __bin_read_xcore__ : (int -> xcore) Core_kernel.Bin_prot.Read.reader
val bin_reader_xcore : xcore Core_kernel.Bin_prot.Type_class.reader
val bin_xcore : xcore Core_kernel.Bin_prot.Type_class.t
val all_of_xcore : xcore list
val sexp_of_xcore : xcore -> Ppx_sexp_conv_lib.Sexp.t
val xcore_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> xcore
val __xcore_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> xcore
val bin_size_unknown : unknown Core_kernel.Bin_prot.Size.sizer
val bin_write_unknown : unknown Core_kernel.Bin_prot.Write.writer
val bin_writer_unknown : unknown Core_kernel.Bin_prot.Type_class.writer
val bin_read_unknown : unknown Core_kernel.Bin_prot.Read.reader
val __bin_read_unknown__ : (int -> unknown) Core_kernel.Bin_prot.Read.reader
val bin_reader_unknown : unknown Core_kernel.Bin_prot.Type_class.reader
val bin_unknown : unknown Core_kernel.Bin_prot.Type_class.t
val all_of_unknown : unknown list
val sexp_of_unknown : unknown -> Ppx_sexp_conv_lib.Sexp.t
val unknown_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> unknown
val __unknown_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> unknown
include Core_kernel.Bin_prot.Binable.S with type t := t
val all : t list
val __t_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> t
val of_string : string -> t option
of_string s
will try to be clever and to capture all commonly known synonyms, e.g., of_string "i686"
will work
val slot : (Bap_core_theory.Theory.program, t) Bap_knowledge.Knowledge.slot
the architecture (ISA) of a program.
val unit_slot :
(Bap_core_theory.Theory.Unit.cls, t) Bap_knowledge.Knowledge.slot
unit_slot
the arch property of the unit.
Use this slot to enable backward compatibility of the Arch.t
type with the Theory.Target.t
by registering a promise that translates Theory.Target.t
to Arch.t
.
Example,
let target = Theory.Target.declare ~package:"foo" "r600"
let () = KB.promise Arch.unit_slot @@ fun unit ->
KB.collect Theory.Unit.target >>| fun t ->
if Theory.Target.equal t target then `r600
else `unknown
arch
type implements Regular
interface
include Regular.Std.Regular.S with type t := t
include Core_kernel.Bin_prot.Binable.S with type t := t
val bin_size_t : t Bin_prot.Size.sizer
val bin_write_t : t Bin_prot.Write.writer
val bin_read_t : t Bin_prot.Read.reader
val __bin_read_t__ : (int -> t) Bin_prot.Read.reader
val bin_writer_t : t Bin_prot.Type_class.writer
val bin_reader_t : t Bin_prot.Type_class.reader
val bin_t : t Bin_prot.Type_class.t
include Regular.Std.Printable.S with type t := t
val to_string : t -> string
to_string x
returns a human-readable representation of x
val str : unit -> t -> string
str () t
is formatted output function that matches "%a" conversion format specifier in functions, that prints to string, e.g., sprintf
, failwithf
, errorf
and, surprisingly all Lwt
printing function, including Lwt_io.printf
and logging (or any other function with type ('a,unit,string,...) formatN`. Example:
Or_error.errorf "type %a is not valid for %a"
Type.str ty Exp.str exp
val pps : unit -> t -> string
synonym for str
val ppo : Core_kernel.Out_channel.t -> t -> unit
will print to a standard output_channel
, useful for using in printf
, fprintf
, etc.
val pp_seq : Stdlib.Format.formatter -> t Core_kernel.Sequence.t -> unit
prints a sequence of values of type t
this will include pp
function from Core
that has type t printer
, and can be used in Format.printf
family of functions
include Core_kernel.Pretty_printer.S with type t := t
val pp : Base__.Formatter.t -> t -> unit
include Core_kernel.Comparable.S_binable with type t := t
module Replace_polymorphic_compare : sig ... end
val comparator : (t, comparator_witness) Core_kernel__.Comparator.comparator
module Map : sig ... end
module Set : sig ... end
include Core_kernel.Hashable.S_binable with type t := t
val hash_fold_t :
Ppx_hash_lib.Std.Hash.state ->
t ->
Ppx_hash_lib.Std.Hash.state
val hash : t -> Ppx_hash_lib.Std.Hash.hash_value
val hashable : t Core_kernel__.Hashtbl.Hashable.t
module Table : sig ... end
module Hash_set : sig ... end
module Hash_queue : sig ... end
include Regular.Std.Data.S with type t := t
name,Ver v,desc
information attached to a particular reader or writer.
Data representation version. After any change in data representation the version should be increased.
Serializers that are derived from a data representation must have the same version as a version of the data structure, from which it is derived. This kind of serializers can only read and write data of the same version.
Other serializers can actually read and write data independent on its representation version. A serializer, that can't store data of current version simply shouldn't be added to a set of serializers.
It is assumed, that if a reader and a writer has the same name and version, then whatever was written by the writer should be readable by the reader. The round-trip equality is not required, thus it is acceptable if some information is lost.
It is also possible, that a reader and a writer that has the same name are compatible. In that case it is recommended to use semantic versioning.
val size_in_bytes : ?ver:string -> ?fmt:string -> t -> int
size_in_bytes ?ver ?fmt datum
returns the amount of bytes that is needed to represent datum
in the given format and version
val of_bytes : ?ver:string -> ?fmt:string -> Regular.Std.bytes -> t
of_bytes ?ver ?fmt bytes
deserializes a value from bytes.
val to_bytes : ?ver:string -> ?fmt:string -> t -> Regular.Std.bytes
to_bytes ?ver ?fmt datum
serializes a datum
to a sequence of bytes.
val blit_to_bytes :
?ver:string ->
?fmt:string ->
Regular.Std.bytes ->
t ->
int ->
unit
blit_to_bytes ?ver ?fmt buffer datum offset
copies a serialized representation of datum into a buffer
, starting from the offset
.
val of_bigstring : ?ver:string -> ?fmt:string -> Core_kernel.bigstring -> t
of_bigstring ?ver ?fmt buf
deserializes a datum from bigstring
val to_bigstring : ?ver:string -> ?fmt:string -> t -> Core_kernel.bigstring
of_bigstring ?ver ?fmt datum
serializes a datum to a sequence of bytes represented as bigstring
val blit_to_bigstring :
?ver:string ->
?fmt:string ->
Core_kernel.bigstring ->
t ->
int ->
unit
blit_to_bigstring ?ver ?fmt buffer datum offset
copies a serialized representation of datum into a buffer
, starting from offset
.
module Io : sig ... end
Input/Output functions for the given datum.
module Cache : sig ... end
Data cache.
val add_reader :
?desc:string ->
ver:string ->
string ->
t Regular.Std.reader ->
unit
add_reader ?desc ~ver name reader
registers a new reader
with a provided name
, version ver
and optional description desc
val add_writer :
?desc:string ->
ver:string ->
string ->
t Regular.Std.writer ->
unit
add_writer ?desc ~ver name writer
registers a new writer
with a provided name
, version ver
and optional description desc
val available_readers : unit -> info list
available_reader ()
lists available readers for the data type
val default_reader : unit -> info
default_reader
returns information about default reader
set_default_reader ?ver name
sets new default reader. If version is not specified then the latest available version is used. Raises an exception if a reader with a given name doesn't exist.
with_reader ?ver name operation
temporary sets a default reader to a reader with a specified name and version. The default reader is restored after operation
is finished.
val available_writers : unit -> info list
available_writer ()
lists available writers for the data type
val default_writer : unit -> info
default_writer
returns information about the default writer
set_default_writer ?ver name
sets new default writer. If version is not specified then the latest available version is used. Raises an exception if a writer with a given name doesn't exist.
with_writer ?ver name operation
temporary sets a default writer to a writer with a specified name and version. The default writer is restored after operation
is finished.
val default_printer : unit -> info option
default_writer
optionally returns an information about default printer
set_default_printer ?ver name
sets new default printer. If version is not specified then the latest available version is used. Raises an exception if a printer with a given name doesn't exist.
with_printer ?ver name operation
temporary sets a default printer to a printer with a specified name and version. The default printer is restored after operation
is finished.
val find_reader : ?ver:string -> string -> t Regular.Std.reader option
find_reader ?ver name
lookups a reader with a given name. If version is not specified, then a reader with maximum version is returned.
val find_writer : ?ver:string -> string -> t Regular.Std.writer option
find_writer ?ver name
lookups a writer with a given name. If version is not specified, then a writer with maximum version is returned.