bap-dwarf 1.3.0 · OCaml Package

Dwarf library This library gives an access to debugging information stored in a binary program.

module Section : sig ... end

File sections

module Tag : sig ... end

Debug Entry Tag

module Attr : sig ... end

Attribute

type lenspec =

| Leb128
| One
| Two
| Four
| Eight

include sig ... end

val compare_lenspec : lenspec -> lenspec -> int

val bin_lenspec : lenspec Core_kernel.Std.Bin_prot.Type_class.t

val bin_read_lenspec : lenspec Core_kernel.Std.Bin_prot.Read.reader

val __bin_read_lenspec__ : 
  (int -> lenspec) Core_kernel.Std.Bin_prot.Read.reader

val bin_reader_lenspec : lenspec Core_kernel.Std.Bin_prot.Type_class.reader

val bin_size_lenspec : lenspec Core_kernel.Std.Bin_prot.Size.sizer

val bin_write_lenspec : lenspec Core_kernel.Std.Bin_prot.Write.writer

val bin_writer_lenspec : lenspec Core_kernel.Std.Bin_prot.Type_class.writer

val lenspec_of_sexp : Sexplib.Sexp.t -> lenspec

val sexp_of_lenspec : lenspec -> Sexplib.Sexp.t

module Form : sig ... end

Attribute form

type tag = Tag.t

include sig ... end

val compare_tag : tag -> tag -> int

val bin_tag : tag Core_kernel.Std.Bin_prot.Type_class.t

val bin_read_tag : tag Core_kernel.Std.Bin_prot.Read.reader

val __bin_read_tag__ : (int -> tag) Core_kernel.Std.Bin_prot.Read.reader

val bin_reader_tag : tag Core_kernel.Std.Bin_prot.Type_class.reader

val bin_size_tag : tag Core_kernel.Std.Bin_prot.Size.sizer

val bin_write_tag : tag Core_kernel.Std.Bin_prot.Write.writer

val bin_writer_tag : tag Core_kernel.Std.Bin_prot.Type_class.writer

val tag_of_sexp : Sexplib.Sexp.t -> tag

val sexp_of_tag : tag -> Sexplib.Sexp.t

type attr = Attr.t

include sig ... end

val compare_attr : attr -> attr -> int

val bin_attr : attr Core_kernel.Std.Bin_prot.Type_class.t

val bin_read_attr : attr Core_kernel.Std.Bin_prot.Read.reader

val __bin_read_attr__ : (int -> attr) Core_kernel.Std.Bin_prot.Read.reader

val bin_reader_attr : attr Core_kernel.Std.Bin_prot.Type_class.reader

val bin_size_attr : attr Core_kernel.Std.Bin_prot.Size.sizer

val bin_write_attr : attr Core_kernel.Std.Bin_prot.Write.writer

val bin_writer_attr : attr Core_kernel.Std.Bin_prot.Type_class.writer

val attr_of_sexp : Sexplib.Sexp.t -> attr

val sexp_of_attr : attr -> Sexplib.Sexp.t

type form = Form.t

include sig ... end

val compare_form : form -> form -> int

val bin_form : form Core_kernel.Std.Bin_prot.Type_class.t

val bin_read_form : form Core_kernel.Std.Bin_prot.Read.reader

val __bin_read_form__ : (int -> form) Core_kernel.Std.Bin_prot.Read.reader

val bin_reader_form : form Core_kernel.Std.Bin_prot.Type_class.reader

val bin_size_form : form Core_kernel.Std.Bin_prot.Size.sizer

val bin_write_form : form Core_kernel.Std.Bin_prot.Write.writer

val bin_writer_form : form Core_kernel.Std.Bin_prot.Type_class.writer

val form_of_sexp : Sexplib.Sexp.t -> form

val sexp_of_form : form -> Sexplib.Sexp.t

type section = Section.t

include sig ... end

val compare_section : section -> section -> int

val bin_section : section Core_kernel.Std.Bin_prot.Type_class.t

val bin_read_section : section Core_kernel.Std.Bin_prot.Read.reader

val __bin_read_section__ : 
  (int -> section) Core_kernel.Std.Bin_prot.Read.reader

val bin_reader_section : section Core_kernel.Std.Bin_prot.Type_class.reader

val bin_size_section : section Core_kernel.Std.Bin_prot.Size.sizer

val bin_write_section : section Core_kernel.Std.Bin_prot.Write.writer

val bin_writer_section : section Core_kernel.Std.Bin_prot.Type_class.writer

val section_of_sexp : Sexplib.Sexp.t -> section

val sexp_of_section : section -> Sexplib.Sexp.t

type fn

include sig ... end

val fn_of_sexp : Sexplib.Sexp.t -> fn

val sexp_of_fn : fn -> Sexplib.Sexp.t

val compare_fn : fn -> fn -> int

val bin_fn : fn Core_kernel.Std.Bin_prot.Type_class.t

val bin_read_fn : fn Core_kernel.Std.Bin_prot.Read.reader

val __bin_read_fn__ : (int -> fn) Core_kernel.Std.Bin_prot.Read.reader

val bin_reader_fn : fn Core_kernel.Std.Bin_prot.Type_class.reader

val bin_size_fn : fn Core_kernel.Std.Bin_prot.Size.sizer

val bin_write_fn : fn Core_kernel.Std.Bin_prot.Write.writer

val bin_writer_fn : fn Core_kernel.Std.Bin_prot.Type_class.writer

module Fn : sig ... end

Function representation.

module Buffer : sig ... end

Buffer is a light abstraction over string and bigstring, that can allow one to share the same string for different sections without explicit copying.

module Data : sig ... end

module Fbi : sig ... end

Function boundary identification.

package bap-dwarf