package binsec

  1. Overview
  2. Docs

Module Binsec_cli_xtrasec.ParsepinSource

Sourcetype 'a number =
  1. | Zero
  2. | One of 'a
  3. | Several
Sourcetype ins = private {
  1. count : int;
  2. address : Binsec.Virtual_address.t;
  3. code : string;
  4. reg_values : (Stdlib.String.t * Binsec.Virtual_address.t) list;
  5. mem_read : Binsec.Virtual_address.t number;
  6. mem_written : Binsec.Virtual_address.t number;
}
Sourcetype trace
Sourceval from : string -> trace
Sourceval pop_ins : trace -> (ins * trace) option