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/Rooter/index.html

Module `Std.Rooter`

Rooter finds starts of functions in the binary.

type t = rooter

val provide : t -> unit

val create : addr seq -> t

create seq creates a rooter from a given sequence of addresses

val of_image : image -> t

of_image img create a rooter that will use existing symbol information inside the image, to find roots.

val of_blocks : (string * addr * addr) seq -> t

of_blocks produces a rooter from a serialized sequence of blocks. Each element of the sequence is deconstructed as (name,ba,ea), where name is a subroutine name, ba is a virtual address of a block start, and ea is an address of the block end.

val roots : t -> addr seq

roots r enumerates roots found by rooter r

val union : t -> t -> t

union r1 r2 joins roots from rooters r1 and r2

module Factory : Source.Factory.S with type t = t

A factory of rooters. Useful to register custom rooters