package bap-std

  1. Overview
  2. Docs
The Binary Analysis Platform Standard Library

Install 

dune-project
 Dependency

github.com Edit opam file Versions (5)

Authors

  1. B
    BAP Team

Maintainers

  1. I
    Ivan Gotovchits <ivg@ieee.org>

Sources

v2.5.0.tar.gz
sha256=9c126781385d2fa9b8edab22e62b25c70bf2f99f6ec78abb7e5e36d63cfa4174
md5=5abd9b3628b43f797326034f31ca574f

doc/bap/Bap/Std/Backend/index.html

Module Std.Backend

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.

  • deprecated

    Use new Ogre-powered loader interface

type perm =
  1. | R
  2. | W
  3. | X
  4. | Or of perm * 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 -> Sexplib0.Sexp.t
val perm_of_sexp : Sexplib0.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