package bap-veri

  1. Overview
  2. Docs
constraint 'a = context
inherit 'a Bap.Std.Bili.t
method eval_trace : Bap_traces.Std.Trace.t -> 'a u
method eval_event : event -> 'a u
method eval_memory_load : Bap.Std.addr Bap_traces.Std.move -> 'a u
method eval_memory_store : Bap.Std.addr Bap_traces.Std.move -> 'a u
method eval_register_read : Bap.Std.var Bap_traces.Std.move -> 'a u
method eval_register_write : Bap.Std.var Bap_traces.Std.move -> 'a u
method eval_exec : Bap_traces.Std.chunk -> 'a u
method eval_pc_update : Bap.Std.addr -> 'a u
method eval_context_switch : int -> 'a u
method eval_syscall : Bap_traces.Std.syscall -> 'a u
method eval_exn : Bap_traces.Std.exn -> 'a u
method eval_call : Bap_traces.Std.call -> 'a u
method eval_return : Bap_traces.Std.return -> 'a u
method eval_modload : Bap_traces.Std.modload -> 'a u
OCaml

Innovation. Community. Security.