package bap-std

  1. Overview
  2. Docs
The Binary Analysis Platform Standard Library

Install 

dune-project
 Dependency

github.com Edit opam file Versions (5)

Authors

  1. B
    BAP Team

Maintainers

  1. I
    Ivan Gotovchits <ivg@ieee.org>

Sources

v2.4.0.tar.gz
sha256=63ada71fa4f602bd679174dc6bf780d54aeded40ad4ec20d256df15886e3d2d5
md5=b8b1aff8c6846f2213eafc54de07b304

doc/bap/Bap/Std/Kind/index.html

Module Std.Kind

Kinds of instructions

type branch = [
  1. | `Conditional_branch
  2. | `Unconditional_branch
  3. | `Indirect_branch
]
val bin_shape_branch : Core_kernel.Bin_prot.Shape.t
val bin_size_branch : branch Core_kernel.Bin_prot.Size.sizer
val bin_write_branch : branch Core_kernel.Bin_prot.Write.writer
val bin_writer_branch : branch Core_kernel.Bin_prot.Type_class.writer
val bin_read_branch : branch Core_kernel.Bin_prot.Read.reader
val __bin_read_branch__ : (int -> branch) Core_kernel.Bin_prot.Read.reader
val bin_reader_branch : branch Core_kernel.Bin_prot.Type_class.reader
val bin_branch : branch Core_kernel.Bin_prot.Type_class.t
val compare_branch : branch -> branch -> int
val all_of_branch : branch list
val sexp_of_branch : branch -> Ppx_sexp_conv_lib.Sexp.t
val branch_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> branch
val __branch_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> branch
type affecting_control = [
  1. | branch
  2. | `Return
  3. | `Call
  4. | `Barrier
  5. | `Terminator
  6. | `May_affect_control_flow
]
val bin_shape_affecting_control : Core_kernel.Bin_prot.Shape.t
val bin_size_affecting_control : affecting_control Core_kernel.Bin_prot.Size.sizer
val bin_write_affecting_control : affecting_control Core_kernel.Bin_prot.Write.writer
val bin_writer_affecting_control : affecting_control Core_kernel.Bin_prot.Type_class.writer
val bin_read_affecting_control : affecting_control Core_kernel.Bin_prot.Read.reader
val __bin_read_affecting_control__ : (int -> affecting_control) Core_kernel.Bin_prot.Read.reader
val bin_reader_affecting_control : affecting_control Core_kernel.Bin_prot.Type_class.reader
val bin_affecting_control : affecting_control Core_kernel.Bin_prot.Type_class.t
val compare_affecting_control : affecting_control -> affecting_control -> int
val all_of_affecting_control : affecting_control list
val sexp_of_affecting_control : affecting_control -> Ppx_sexp_conv_lib.Sexp.t
val affecting_control_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> affecting_control
val __affecting_control_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> affecting_control
type having_side_effect = [
  1. | `May_load
  2. | `May_store
]
val bin_shape_having_side_effect : Core_kernel.Bin_prot.Shape.t
val bin_size_having_side_effect : having_side_effect Core_kernel.Bin_prot.Size.sizer
val bin_write_having_side_effect : having_side_effect Core_kernel.Bin_prot.Write.writer
val bin_writer_having_side_effect : having_side_effect Core_kernel.Bin_prot.Type_class.writer
val bin_read_having_side_effect : having_side_effect Core_kernel.Bin_prot.Read.reader
val __bin_read_having_side_effect__ : (int -> having_side_effect) Core_kernel.Bin_prot.Read.reader
val bin_reader_having_side_effect : having_side_effect Core_kernel.Bin_prot.Type_class.reader
val bin_having_side_effect : having_side_effect Core_kernel.Bin_prot.Type_class.t
val compare_having_side_effect : having_side_effect -> having_side_effect -> int
val all_of_having_side_effect : having_side_effect list
val sexp_of_having_side_effect : having_side_effect -> Ppx_sexp_conv_lib.Sexp.t
val having_side_effect_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> having_side_effect
val __having_side_effect_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> having_side_effect
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_shape_t : Bin_prot.Shape.t
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
val compare : t -> t -> int
val all : t list
val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t
val t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t
val __t_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> t