package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Library
Module
Module type
Parameter
Class
Class type
type 'a number =
  1. | Zero
  2. | One of 'a
  3. | Several
type ins = private {
  1. count : int;
  2. address : Virtual_address.t;
  3. code : string;
  4. reg_values : (String.t * Virtual_address.t) list;
  5. mem_read : Virtual_address.t number;
  6. mem_written : Virtual_address.t number;
}
type trace
val from : string -> trace
val pop_ins : trace -> (ins * trace) option