Module Interface

module Int64Map : sig ... end
type disassembly_line = {
  1. binary_code : string;
  2. mnemonic : string;
  3. symbols_names : string list;
  4. instructions : Syntax_tree.expr list;
    (*

    Ideally, would include this:

    *)
  5. results : string list;
}
type disassembly = {
  1. decompiled : disassembly_line Int64Map.t;
  2. symbol_table : (string * int64) array;
}
module Graph : sig ... end
type cfg = {
  1. cfg_entry_node : Graph.light_cfg_node;
    (*

    Entry basic block to the CFG.

    *)
  2. wto : Graph.Wto.component list;
}
type color_marker =
  1. | Keyword_color
  2. | Type_color
  3. | Var_color
  4. | Fun_color
type marker =
  1. | Color_marker of color_marker
  2. | Function_Definition of string
  3. | Instruction of int
  4. | End_marker
type token =
  1. | Marker of marker
  2. | String of string * int * int
    (*

    A token for contiguous segment of raw text until a marker or EOF.

    *)
  3. | EOF
val source_color_marker_code : color_marker -> int
val marker_to_string : marker -> string
val string_to_marker : string -> int -> marker * int * int
val get_token : string -> int -> int * token
type source = {
  1. text : string;
}
type marshalled = {
  1. disassembly : disassembly option;
  2. cfg : cfg option;
  3. tracelog : Binarytrace.trace_line list;
  4. source : source option;
}