bap-traces 1.3.0 · OCaml Package

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

include sig ... end

val location_of_sexp : Sexplib.Sexp.t -> location

val sexp_of_location : location -> Sexplib.Sexp.t

val compare_location : location -> location -> int

val bin_location : location Core_kernel.Std.Bin_prot.Type_class.t

val bin_read_location : location Core_kernel.Std.Bin_prot.Read.reader

val __bin_read_location__ : 
  (int -> location) Core_kernel.Std.Bin_prot.Read.reader

val bin_reader_location : location Core_kernel.Std.Bin_prot.Type_class.reader

val bin_size_location : location Core_kernel.Std.Bin_prot.Size.sizer

val bin_write_location : location Core_kernel.Std.Bin_prot.Write.writer

val bin_writer_location : location Core_kernel.Std.Bin_prot.Type_class.writer

module Call : sig ... end

A subroutine call.

module Return : sig ... end

A return from a call.

module Modload : sig ... end

linking event

type 'a move = 'a Move.t

include sig ... end

val move_of_sexp : (Sexplib.Sexp.t -> 'a) -> Sexplib.Sexp.t -> 'a move

val sexp_of_move : ('a -> Sexplib.Sexp.t) -> 'a move -> Sexplib.Sexp.t

val compare_move : ('a -> 'a -> int) -> 'a move -> 'a move -> int

val bin_move : 
  'a Core_kernel.Std.Bin_prot.Type_class.t ->
  'a move Core_kernel.Std.Bin_prot.Type_class.t

val bin_read_move : 
  'a Core_kernel.Std.Bin_prot.Read.reader ->
  'a move Core_kernel.Std.Bin_prot.Read.reader

val __bin_read_move__ : 
  'a Core_kernel.Std.Bin_prot.Read.reader ->
  (int -> 'a move) Core_kernel.Std.Bin_prot.Read.reader

val bin_reader_move : 
  'a Core_kernel.Std.Bin_prot.Type_class.reader ->
  'a move Core_kernel.Std.Bin_prot.Type_class.reader

val bin_size_move : 
  'a Core_kernel.Std.Bin_prot.Size.sizer ->
  'a move Core_kernel.Std.Bin_prot.Size.sizer

val bin_write_move : 
  'a Core_kernel.Std.Bin_prot.Write.writer ->
  'a move Core_kernel.Std.Bin_prot.Write.writer

val bin_writer_move : 
  'a Core_kernel.Std.Bin_prot.Type_class.writer ->
  'a move Core_kernel.Std.Bin_prot.Type_class.writer

type chunk = Chunk.t

include sig ... end

val chunk_of_sexp : Sexplib.Sexp.t -> chunk

val sexp_of_chunk : chunk -> Sexplib.Sexp.t

val compare_chunk : chunk -> chunk -> int

val bin_chunk : chunk Core_kernel.Std.Bin_prot.Type_class.t

val bin_read_chunk : chunk Core_kernel.Std.Bin_prot.Read.reader

val __bin_read_chunk__ : (int -> chunk) Core_kernel.Std.Bin_prot.Read.reader

val bin_reader_chunk : chunk Core_kernel.Std.Bin_prot.Type_class.reader

val bin_size_chunk : chunk Core_kernel.Std.Bin_prot.Size.sizer

val bin_write_chunk : chunk Core_kernel.Std.Bin_prot.Write.writer

val bin_writer_chunk : chunk Core_kernel.Std.Bin_prot.Type_class.writer

type syscall = Syscall.t

include sig ... end

val syscall_of_sexp : Sexplib.Sexp.t -> syscall

val sexp_of_syscall : syscall -> Sexplib.Sexp.t

val compare_syscall : syscall -> syscall -> int

val bin_syscall : syscall Core_kernel.Std.Bin_prot.Type_class.t

val bin_read_syscall : syscall Core_kernel.Std.Bin_prot.Read.reader

val __bin_read_syscall__ : 
  (int -> syscall) Core_kernel.Std.Bin_prot.Read.reader

val bin_reader_syscall : syscall Core_kernel.Std.Bin_prot.Type_class.reader

val bin_size_syscall : syscall Core_kernel.Std.Bin_prot.Size.sizer

val bin_write_syscall : syscall Core_kernel.Std.Bin_prot.Write.writer

val bin_writer_syscall : syscall Core_kernel.Std.Bin_prot.Type_class.writer

type exn = Exn.t

include sig ... end

val exn_of_sexp : Sexplib.Sexp.t -> exn

val sexp_of_exn : exn -> Sexplib.Sexp.t

val compare_exn : exn -> exn -> int

val bin_exn : exn Core_kernel.Std.Bin_prot.Type_class.t

val bin_read_exn : exn Core_kernel.Std.Bin_prot.Read.reader

val __bin_read_exn__ : (int -> exn) Core_kernel.Std.Bin_prot.Read.reader

val bin_reader_exn : exn Core_kernel.Std.Bin_prot.Type_class.reader

val bin_size_exn : exn Core_kernel.Std.Bin_prot.Size.sizer

val bin_write_exn : exn Core_kernel.Std.Bin_prot.Write.writer

val bin_writer_exn : exn Core_kernel.Std.Bin_prot.Type_class.writer

type call = Call.t

include sig ... end

val call_of_sexp : Sexplib.Sexp.t -> call

val sexp_of_call : call -> Sexplib.Sexp.t

val compare_call : call -> call -> int

val bin_call : call Core_kernel.Std.Bin_prot.Type_class.t

val bin_read_call : call Core_kernel.Std.Bin_prot.Read.reader

val __bin_read_call__ : (int -> call) Core_kernel.Std.Bin_prot.Read.reader

val bin_reader_call : call Core_kernel.Std.Bin_prot.Type_class.reader

val bin_size_call : call Core_kernel.Std.Bin_prot.Size.sizer

val bin_write_call : call Core_kernel.Std.Bin_prot.Write.writer

val bin_writer_call : call Core_kernel.Std.Bin_prot.Type_class.writer

type return = Return.t

include sig ... end

val return_of_sexp : Sexplib.Sexp.t -> return

val sexp_of_return : return -> Sexplib.Sexp.t

val compare_return : return -> return -> int

val bin_return : return Core_kernel.Std.Bin_prot.Type_class.t

val bin_read_return : return Core_kernel.Std.Bin_prot.Read.reader

val __bin_read_return__ : (int -> return) Core_kernel.Std.Bin_prot.Read.reader

val bin_reader_return : return Core_kernel.Std.Bin_prot.Type_class.reader

val bin_size_return : return Core_kernel.Std.Bin_prot.Size.sizer

val bin_write_return : return Core_kernel.Std.Bin_prot.Write.writer

val bin_writer_return : return Core_kernel.Std.Bin_prot.Type_class.writer

type modload = Modload.t

include sig ... end

val modload_of_sexp : Sexplib.Sexp.t -> modload

val sexp_of_modload : modload -> Sexplib.Sexp.t

val compare_modload : modload -> modload -> int

val bin_modload : modload Core_kernel.Std.Bin_prot.Type_class.t

val bin_read_modload : modload Core_kernel.Std.Bin_prot.Read.reader

val __bin_read_modload__ : 
  (int -> modload) Core_kernel.Std.Bin_prot.Read.reader

val bin_reader_modload : modload Core_kernel.Std.Bin_prot.Type_class.reader

val bin_size_modload : modload Core_kernel.Std.Bin_prot.Size.sizer

val bin_write_modload : modload Core_kernel.Std.Bin_prot.Write.writer

val bin_writer_modload : modload Core_kernel.Std.Bin_prot.Type_class.writer

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

include sig ... end

val tracer_of_sexp : Sexplib.Sexp.t -> tracer

val sexp_of_tracer : tracer -> Sexplib.Sexp.t

val compare_tracer : tracer -> tracer -> int

val bin_tracer : tracer Core_kernel.Std.Bin_prot.Type_class.t

val bin_read_tracer : tracer Core_kernel.Std.Bin_prot.Read.reader

val __bin_read_tracer__ : (int -> tracer) Core_kernel.Std.Bin_prot.Read.reader

val bin_reader_tracer : tracer Core_kernel.Std.Bin_prot.Type_class.reader

val bin_size_tracer : tracer Core_kernel.Std.Bin_prot.Size.sizer

val bin_write_tracer : tracer Core_kernel.Std.Bin_prot.Write.writer

val bin_writer_tracer : tracer Core_kernel.Std.Bin_prot.Type_class.writer

type binary = Binary.t

include sig ... end

val binary_of_sexp : Sexplib.Sexp.t -> binary

val sexp_of_binary : binary -> Sexplib.Sexp.t

val compare_binary : binary -> binary -> int

val bin_binary : binary Core_kernel.Std.Bin_prot.Type_class.t

val bin_read_binary : binary Core_kernel.Std.Bin_prot.Read.reader

val __bin_read_binary__ : (int -> binary) Core_kernel.Std.Bin_prot.Read.reader

val bin_reader_binary : binary Core_kernel.Std.Bin_prot.Type_class.reader

val bin_size_binary : binary Core_kernel.Std.Bin_prot.Size.sizer

val bin_write_binary : binary Core_kernel.Std.Bin_prot.Write.writer

val bin_writer_binary : binary Core_kernel.Std.Bin_prot.Type_class.writer

type file_stats = File_stats.t

include sig ... end

val file_stats_of_sexp : Sexplib.Sexp.t -> file_stats

val sexp_of_file_stats : file_stats -> Sexplib.Sexp.t

val compare_file_stats : file_stats -> file_stats -> int

val bin_file_stats : file_stats Core_kernel.Std.Bin_prot.Type_class.t

val bin_read_file_stats : file_stats Core_kernel.Std.Bin_prot.Read.reader

val __bin_read_file_stats__ : 
  (int -> file_stats) Core_kernel.Std.Bin_prot.Read.reader

val bin_reader_file_stats : 
  file_stats Core_kernel.Std.Bin_prot.Type_class.reader

val bin_size_file_stats : file_stats Core_kernel.Std.Bin_prot.Size.sizer

val bin_write_file_stats : file_stats Core_kernel.Std.Bin_prot.Write.writer

val bin_writer_file_stats : 
  file_stats Core_kernel.Std.Bin_prot.Type_class.writer

type trace_stats = Trace_stats.t

include sig ... end

val trace_stats_of_sexp : Sexplib.Sexp.t -> trace_stats

val sexp_of_trace_stats : trace_stats -> Sexplib.Sexp.t

val compare_trace_stats : trace_stats -> trace_stats -> int

val bin_trace_stats : trace_stats Core_kernel.Std.Bin_prot.Type_class.t

val bin_read_trace_stats : trace_stats Core_kernel.Std.Bin_prot.Read.reader

val __bin_read_trace_stats__ : 
  (int -> trace_stats) Core_kernel.Std.Bin_prot.Read.reader

val bin_reader_trace_stats : 
  trace_stats Core_kernel.Std.Bin_prot.Type_class.reader

val bin_size_trace_stats : trace_stats Core_kernel.Std.Bin_prot.Size.sizer

val bin_write_trace_stats : trace_stats Core_kernel.Std.Bin_prot.Write.writer

val bin_writer_trace_stats : 
  trace_stats Core_kernel.Std.Bin_prot.Type_class.writer

module Meta : sig ... end

Types of meta information.

package bap-traces

Trace Events

Supporting data types

Meta information