package bap-mc

  1. Overview
  2. Docs
BAP machine instruction playground

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.1.0.tar.gz
sha256=631fc58628418e4856709a0cfc923a65e00c9494fbd28d444c633d11194831de
md5=3db9deac8d429b9b8a8ec9aec54987b1

doc/bap-plugin-mc/Mc_main/index.html

Module Mc_main

val mc_man : string
val objdump_man : string
type error =
  1. | Bad_user_input
  2. | Bad_insn of Bap.Std.mem * int * int
  3. | Create_mem of Core_kernel.Error.t
  4. | No_input
  5. | Unknown_arch
  6. | Invalid_base of string
  7. | Trailing_data of int
  8. | Inconsistency of Bap_core_theory.KB.conflict
  9. | Unknown_format of string * string * string list
  10. | No_formats_expected of string
  11. | Disassembler_failed of Core_kernel.Error.t
  12. | Loader_failed of Core_kernel.Error.t
type output = [
  1. | `insn
  2. | `bil
  3. | `bir
  4. | `sema
  5. | `kinds
  6. | `size
  7. | `invalid
]
val compare_output : output -> output -> int
val outputs : [> `bil | `bir | `insn | `invalid | `kinds | `sema | `size ] list
val enabled : string
module Spec : sig ... end
val bad_insn : Bap.Std.Addr.t -> ('a, 'b, 'c, 'd) Dis.state -> int -> ('e, Bap_main.Extension.Error.t) Core_kernel._result
val prepend_slash_x : string -> string

to_binary ?escape s make a binary string from ascii representation, (e.g., "\x01\x02..."). Apply optional escape function for each byte

val print_insn_size : 'a Core_kernel.List.t -> Bap.Std.Memory.t -> unit
val print_insn : string Core_kernel.List.t -> Bap.Std.Insn.t -> unit
val print_bil : string Core_kernel.List.t -> Bap.Std.Insn.t -> unit
val print_bir : string Core_kernel.List.t -> Bap.Std.insn -> unit
val print_sema : string list -> 'a Bap_knowledge.Knowledge.value -> unit
val equal_output : output -> output -> bool
val is_enabled : Core_kernel.String.t list -> bool
val formats : (output, 'a list) Core_kernel.List.Assoc.t -> output -> 'a list
val print : Bap.Std.Arch.t -> Bap.Std.Memory.t -> Bap.Std.Disasm_expert.Basic.full_insn -> ([> `bil | `bir | `insn | `kinds | `sema | `size ] -> string Core_kernel.List.t) -> (unit, Bap_main.Extension.Error.t) Base.Result.t
val create_disassembler : ?backend:string -> Bap.Std.Arch.t -> ((Dis.empty, Dis.empty) Dis.t, Bap_main.Extension.Error.t) Core_kernel.Result.t
val module_of_kind : [< `bil | `bir | `insn ] -> string
val validate_module : [< `bil | `bir | `insn ] -> Core_kernel.String.t Core_kernel.List.t -> (unit, error) Core_kernel.Result.t
val validate_formats : ([< `bil | `bir | `insn | `invalid | `kinds | `sema | `size ] * Core_kernel.String.t Core_kernel.List.t) Core_kernel.List.t -> (unit, Bap_main.Extension.Error.t) Core_kernel.Result.t
val print_invalid : 'a -> unit
val run : ?only_one:bool -> ?stop_on_error:bool -> ('a, 'b) Dis.t -> Bap.Std.Arch.t -> Bap.Std.Memory.t -> ([> `bil | `bir | `insn | `invalid | `kinds | `sema | `size ] -> Core_kernel.String.t Core_kernel.List.t) -> (int, Bap_main.Extension.Error.t) Core_kernel._result
val format_info : (unit -> (Core_kernel.String.t * 'a * 'b) Core_kernel.List.t) -> Core_kernel.String.t
val string_of_failure : error -> string