package bap-dwarf

  1. Overview
  2. Docs

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 =
  1. | Leb128
  2. | One
  3. | Two
  4. | Four
  5. | 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.