package bap-trace

  1. Overview
  2. Docs
A plugin to load and run program execution traces

Install

Dune Dependency

Authors

Maintainers

Sources

v2.1.0.tar.gz
sha256=631fc58628418e4856709a0cfc923a65e00c9494fbd28d444c633d11194831de
md5=3db9deac8d429b9b8a8ec9aec54987b1

doc/bap-plugin-trace/Trace_main/index.html

Module Trace_main

include sig ... end
val name : string
val version : string
val doc : string
val argv : string array
val debug : ('a, Format.formatter, unit) Core_kernel.format -> 'a
val info : ('a, Format.formatter, unit) Core_kernel.format -> 'a
val warning : ('a, Format.formatter, unit) Core_kernel.format -> 'a
val error : ('a, Format.formatter, unit) Core_kernel.format -> 'a
val debug_formatter : Format.formatter
val info_formatter : Format.formatter
val warning_formatter : Format.formatter
val error_formatter : Format.formatter
val report_progress : ?task:string -> ?note:string -> ?stage:int -> ?total:int -> unit -> unit
module Config : sig ... end
val print_meta : Bap_traces.Std.Trace.t -> unit
val load : Uri.t list -> ([> `Done ], Bap_traces.Std.Trace.error) Core_kernel._result
exception Incompatibe_args
val main : Uri.t option -> Uri.t list -> ([> `Done | `Exit ], Bap_traces.Std.Trace.error) Core_kernel._result
module Cmdline : sig ... end
OCaml

Innovation. Community. Security.