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.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 =

| 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 -> 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