Module InterfaceSource

module Int64Map : sig ... end
Sourcetype 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;
}
Sourcetype disassembly = {
  1. decompiled : disassembly_line Int64Map.t;
  2. symbol_table : (string * int64) array;
}
Sourcemodule Graph : sig ... end
Sourcetype cfg = {
  1. cfg_entry_node : Graph.light_cfg_node;
    (*

    Entry basic block to the CFG.

    *)
  2. wto : Graph.Wto.component list;
}
Sourcetype color_marker =
  1. | Keyword_color
  2. | Type_color
  3. | Var_color
  4. | Fun_color
Sourcetype marker =
  1. | Color_marker of color_marker
  2. | Function_Definition of string
  3. | Instruction of int
  4. | End_marker
Sourcetype 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
Sourceval source_color_marker_code : color_marker -> int
Sourceval marker_to_string : marker -> string
Sourceval string_to_marker : string -> int -> marker * int * int
Sourceval get_token : string -> int -> int * token
Sourcetype source = {
  1. text : string;
}
Sourcetype marshalled = {
  1. disassembly : disassembly option;
  2. cfg : cfg option;
  3. tracelog : Binarytrace.trace_line list;
  4. source : source option;
}