package bap-std

You can search for identifiers within the package.

in-package search v0.2.0

The Binary Analysis Platform Standard Library

Install

Dune Dependency

github.com Edit opam file Versions (5)

Authors

B

BAP Team

Maintainers

I

Ivan Gotovchits <ivg@ieee.org>

Sources

v2.1.0.tar.gz

sha256=631fc58628418e4856709a0cfc923a65e00c9494fbd28d444c633d11194831de

md5=3db9deac8d429b9b8a8ec9aec54987b1

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 =

| R
| W
| X
| 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 -> 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