Module Bap_traces.Std

Traces of execution.

type trace

the trace

module Trace : sig ... end

Trace is a stream of events plus meta data.

module Traces : sig ... end

Loaded traces.

Trace Events

The trace may contain arbitrary events. The events below is a good starting point. Other libraries may add more event.

Supporting data types

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_shape_location : Core_kernel.Bin_prot.Shape.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 compare_location : location -> location -> int
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_shape_move : Core_kernel.Bin_prot.Shape.t -> Core_kernel.Bin_prot.Shape.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 compare_move : ('a -> 'a -> int) -> 'a move -> 'a move -> int
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_shape_chunk : Core_kernel.Bin_prot.Shape.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 compare_chunk : chunk -> chunk -> int
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_shape_syscall : Core_kernel.Bin_prot.Shape.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 compare_syscall : syscall -> syscall -> int
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_shape_exn : Core_kernel.Bin_prot.Shape.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 compare_exn : exn -> exn -> int
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_shape_call : Core_kernel.Bin_prot.Shape.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 compare_call : call -> call -> int
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_shape_return : Core_kernel.Bin_prot.Shape.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 compare_return : return -> return -> int
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_shape_modload : Core_kernel.Bin_prot.Shape.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 compare_modload : modload -> modload -> int
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_shape_mode : Core_kernel.Bin_prot.Shape.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 compare_mode : mode -> mode -> int
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.

Meta information

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_shape_tracer : Core_kernel.Bin_prot.Shape.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 compare_tracer : tracer -> tracer -> int
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_shape_binary : Core_kernel.Bin_prot.Shape.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 compare_binary : binary -> binary -> int
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_shape_file_stats : Core_kernel.Bin_prot.Shape.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_shape_trace_stats : Core_kernel.Bin_prot.Shape.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.