Bap_traces.Std
Traces of execution.
module Trace : sig ... end
Trace is a stream of events plus meta data.
module Traces : sig ... end
Loaded traces.
The trace may contain arbitrary events. The events below is a good starting point. Other libraries may add more event.
module Move : sig ... end
Represent a movement of data
module Chunk : sig ... end
Represent a memory chunk.
module Syscall : sig ... end
a system call
module Exn : sig ... end
hardware exception
module Location : sig ... end
A code location
type location = Location.t
val bin_size_location : location Core_kernel.Bin_prot.Size.sizer
val bin_write_location : location Core_kernel.Bin_prot.Write.writer
val bin_writer_location : location Core_kernel.Bin_prot.Type_class.writer
val bin_read_location : location Core_kernel.Bin_prot.Read.reader
val __bin_read_location__ : (int -> location) Core_kernel.Bin_prot.Read.reader
val bin_reader_location : location Core_kernel.Bin_prot.Type_class.reader
val bin_location : location Core_kernel.Bin_prot.Type_class.t
val sexp_of_location : location -> Ppx_sexp_conv_lib.Sexp.t
val location_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> location
module Call : sig ... end
A subroutine call.
module Return : sig ... end
A return from a call.
module Modload : sig ... end
linking event
module Mode : sig ... end
change of CPU mode (e.g. switch to thumb)
type 'a move = 'a Move.t
val bin_size_move :
'a Core_kernel.Bin_prot.Size.sizer ->
'a move Core_kernel.Bin_prot.Size.sizer
val bin_write_move :
'a Core_kernel.Bin_prot.Write.writer ->
'a move Core_kernel.Bin_prot.Write.writer
val bin_writer_move :
'a Core_kernel.Bin_prot.Type_class.writer ->
'a move Core_kernel.Bin_prot.Type_class.writer
val bin_read_move :
'a Core_kernel.Bin_prot.Read.reader ->
'a move Core_kernel.Bin_prot.Read.reader
val __bin_read_move__ :
'a Core_kernel.Bin_prot.Read.reader ->
(int -> 'a move) Core_kernel.Bin_prot.Read.reader
val bin_reader_move :
'a Core_kernel.Bin_prot.Type_class.reader ->
'a move Core_kernel.Bin_prot.Type_class.reader
val bin_move :
'a Core_kernel.Bin_prot.Type_class.t ->
'a move Core_kernel.Bin_prot.Type_class.t
val sexp_of_move :
('a -> Ppx_sexp_conv_lib.Sexp.t) ->
'a move ->
Ppx_sexp_conv_lib.Sexp.t
val move_of_sexp :
(Ppx_sexp_conv_lib.Sexp.t -> 'a) ->
Ppx_sexp_conv_lib.Sexp.t ->
'a move
type chunk = Chunk.t
val bin_size_chunk : chunk Core_kernel.Bin_prot.Size.sizer
val bin_write_chunk : chunk Core_kernel.Bin_prot.Write.writer
val bin_writer_chunk : chunk Core_kernel.Bin_prot.Type_class.writer
val bin_read_chunk : chunk Core_kernel.Bin_prot.Read.reader
val __bin_read_chunk__ : (int -> chunk) Core_kernel.Bin_prot.Read.reader
val bin_reader_chunk : chunk Core_kernel.Bin_prot.Type_class.reader
val bin_chunk : chunk Core_kernel.Bin_prot.Type_class.t
val sexp_of_chunk : chunk -> Ppx_sexp_conv_lib.Sexp.t
val chunk_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> chunk
type syscall = Syscall.t
val bin_size_syscall : syscall Core_kernel.Bin_prot.Size.sizer
val bin_write_syscall : syscall Core_kernel.Bin_prot.Write.writer
val bin_writer_syscall : syscall Core_kernel.Bin_prot.Type_class.writer
val bin_read_syscall : syscall Core_kernel.Bin_prot.Read.reader
val __bin_read_syscall__ : (int -> syscall) Core_kernel.Bin_prot.Read.reader
val bin_reader_syscall : syscall Core_kernel.Bin_prot.Type_class.reader
val bin_syscall : syscall Core_kernel.Bin_prot.Type_class.t
val sexp_of_syscall : syscall -> Ppx_sexp_conv_lib.Sexp.t
val syscall_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> syscall
type exn = Exn.t
val bin_size_exn : exn Core_kernel.Bin_prot.Size.sizer
val bin_write_exn : exn Core_kernel.Bin_prot.Write.writer
val bin_writer_exn : exn Core_kernel.Bin_prot.Type_class.writer
val bin_read_exn : exn Core_kernel.Bin_prot.Read.reader
val __bin_read_exn__ : (int -> exn) Core_kernel.Bin_prot.Read.reader
val bin_reader_exn : exn Core_kernel.Bin_prot.Type_class.reader
val bin_exn : exn Core_kernel.Bin_prot.Type_class.t
val sexp_of_exn : exn -> Ppx_sexp_conv_lib.Sexp.t
val exn_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> exn
type call = Call.t
val bin_size_call : call Core_kernel.Bin_prot.Size.sizer
val bin_write_call : call Core_kernel.Bin_prot.Write.writer
val bin_writer_call : call Core_kernel.Bin_prot.Type_class.writer
val bin_read_call : call Core_kernel.Bin_prot.Read.reader
val __bin_read_call__ : (int -> call) Core_kernel.Bin_prot.Read.reader
val bin_reader_call : call Core_kernel.Bin_prot.Type_class.reader
val bin_call : call Core_kernel.Bin_prot.Type_class.t
val sexp_of_call : call -> Ppx_sexp_conv_lib.Sexp.t
val call_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> call
type return = Return.t
val bin_size_return : return Core_kernel.Bin_prot.Size.sizer
val bin_write_return : return Core_kernel.Bin_prot.Write.writer
val bin_writer_return : return Core_kernel.Bin_prot.Type_class.writer
val bin_read_return : return Core_kernel.Bin_prot.Read.reader
val __bin_read_return__ : (int -> return) Core_kernel.Bin_prot.Read.reader
val bin_reader_return : return Core_kernel.Bin_prot.Type_class.reader
val bin_return : return Core_kernel.Bin_prot.Type_class.t
val sexp_of_return : return -> Ppx_sexp_conv_lib.Sexp.t
val return_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> return
type modload = Modload.t
val bin_size_modload : modload Core_kernel.Bin_prot.Size.sizer
val bin_write_modload : modload Core_kernel.Bin_prot.Write.writer
val bin_writer_modload : modload Core_kernel.Bin_prot.Type_class.writer
val bin_read_modload : modload Core_kernel.Bin_prot.Read.reader
val __bin_read_modload__ : (int -> modload) Core_kernel.Bin_prot.Read.reader
val bin_reader_modload : modload Core_kernel.Bin_prot.Type_class.reader
val bin_modload : modload Core_kernel.Bin_prot.Type_class.t
val sexp_of_modload : modload -> Ppx_sexp_conv_lib.Sexp.t
val modload_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> modload
type mode = Mode.t
val bin_size_mode : mode Core_kernel.Bin_prot.Size.sizer
val bin_write_mode : mode Core_kernel.Bin_prot.Write.writer
val bin_writer_mode : mode Core_kernel.Bin_prot.Type_class.writer
val bin_read_mode : mode Core_kernel.Bin_prot.Read.reader
val __bin_read_mode__ : (int -> mode) Core_kernel.Bin_prot.Read.reader
val bin_reader_mode : mode Core_kernel.Bin_prot.Type_class.reader
val bin_mode : mode Core_kernel.Bin_prot.Type_class.t
val sexp_of_mode : mode -> Ppx_sexp_conv_lib.Sexp.t
val mode_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> mode
module Event : sig ... end
Types of events.
module Tracer : sig ... end
Information about a tracer tool.
module Binary : sig ... end
Information about a traced binary.
module File_stats : sig ... end
File information.
module Trace_stats : sig ... end
Information about the trace itself
type tracer = Tracer.t
val bin_size_tracer : tracer Core_kernel.Bin_prot.Size.sizer
val bin_write_tracer : tracer Core_kernel.Bin_prot.Write.writer
val bin_writer_tracer : tracer Core_kernel.Bin_prot.Type_class.writer
val bin_read_tracer : tracer Core_kernel.Bin_prot.Read.reader
val __bin_read_tracer__ : (int -> tracer) Core_kernel.Bin_prot.Read.reader
val bin_reader_tracer : tracer Core_kernel.Bin_prot.Type_class.reader
val bin_tracer : tracer Core_kernel.Bin_prot.Type_class.t
val sexp_of_tracer : tracer -> Ppx_sexp_conv_lib.Sexp.t
val tracer_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> tracer
type binary = Binary.t
val bin_size_binary : binary Core_kernel.Bin_prot.Size.sizer
val bin_write_binary : binary Core_kernel.Bin_prot.Write.writer
val bin_writer_binary : binary Core_kernel.Bin_prot.Type_class.writer
val bin_read_binary : binary Core_kernel.Bin_prot.Read.reader
val __bin_read_binary__ : (int -> binary) Core_kernel.Bin_prot.Read.reader
val bin_reader_binary : binary Core_kernel.Bin_prot.Type_class.reader
val bin_binary : binary Core_kernel.Bin_prot.Type_class.t
val sexp_of_binary : binary -> Ppx_sexp_conv_lib.Sexp.t
val binary_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> binary
type file_stats = File_stats.t
val bin_size_file_stats : file_stats Core_kernel.Bin_prot.Size.sizer
val bin_write_file_stats : file_stats Core_kernel.Bin_prot.Write.writer
val bin_writer_file_stats : file_stats Core_kernel.Bin_prot.Type_class.writer
val bin_read_file_stats : file_stats Core_kernel.Bin_prot.Read.reader
val __bin_read_file_stats__ :
(int -> file_stats) Core_kernel.Bin_prot.Read.reader
val bin_reader_file_stats : file_stats Core_kernel.Bin_prot.Type_class.reader
val bin_file_stats : file_stats Core_kernel.Bin_prot.Type_class.t
val compare_file_stats : file_stats -> file_stats -> int
val sexp_of_file_stats : file_stats -> Ppx_sexp_conv_lib.Sexp.t
val file_stats_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> file_stats
type trace_stats = Trace_stats.t
val bin_size_trace_stats : trace_stats Core_kernel.Bin_prot.Size.sizer
val bin_write_trace_stats : trace_stats Core_kernel.Bin_prot.Write.writer
val bin_writer_trace_stats : trace_stats Core_kernel.Bin_prot.Type_class.writer
val bin_read_trace_stats : trace_stats Core_kernel.Bin_prot.Read.reader
val __bin_read_trace_stats__ :
(int -> trace_stats) Core_kernel.Bin_prot.Read.reader
val bin_reader_trace_stats : trace_stats Core_kernel.Bin_prot.Type_class.reader
val bin_trace_stats : trace_stats Core_kernel.Bin_prot.Type_class.t
val compare_trace_stats : trace_stats -> trace_stats -> int
val sexp_of_trace_stats : trace_stats -> Ppx_sexp_conv_lib.Sexp.t
val trace_stats_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> trace_stats
module Meta : sig ... end
Types of meta information.