package bap-std

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

A backend interface.

This interface must be implemented by a backend plugin, and registered with Image.register function in order to be accessible for loading images.

type perm =

memory access permissions

val bin_shape_perm : Core_kernel.Bin_prot.Shape.t

val bin_size_perm : perm Core_kernel.Bin_prot.Size.sizer

val bin_write_perm : perm Core_kernel.Bin_prot.Write.writer

val bin_writer_perm : perm Core_kernel.Bin_prot.Type_class.writer

val bin_read_perm : perm Core_kernel.Bin_prot.Read.reader

val __bin_read_perm__ : (int -> perm) Core_kernel.Bin_prot.Read.reader

val bin_reader_perm : perm Core_kernel.Bin_prot.Type_class.reader

val bin_perm : perm Core_kernel.Bin_prot.Type_class.t

val compare_perm : perm -> perm -> int

val sexp_of_perm : perm -> Ppx_sexp_conv_lib.Sexp.t

val perm_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> perm

module Segment : sig ... end

A named contiguous part of file with permissions. Also, known as segment in ELF.

module Symbol : sig ... end

Symbol definition, that can span several non-contiguous parts of memory

module Section : sig ... end

Just a named region of memory.

module Img : sig ... end

A Img from a backend perspective.

type t = Core_kernel.Bigstring.t -> Img.t option

the actual interface to be implemented