package bap-veri

  1. Overview
  2. Docs
package bap-veri
Legend:
Library
Module
Module type
Parameter
Class
Class type
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.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct