package bap-std

  1. Overview
  2. No 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.1.0.tar.gz
sha256=631fc58628418e4856709a0cfc923a65e00c9494fbd28d444c633d11194831de
md5=3db9deac8d429b9b8a8ec9aec54987b1

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

Module Std.Symbolizer

Symbolizer maps addresses to function names

type t = symbolizer

symbolizer data type

val provide : Bap_knowledge.Knowledge.agent -> t -> unit

provide agent symbolizer registers symbolizer in the knowledge base.

This function enables an easy integration of the old symbolizers/information sources infrastructure into the knowledge base representation introduced with BAP 2.0.

A symbolizer is regiestered in the knowledge base through an agent which denotes the level of trustwothiness of the symbolizer.

val create : (addr -> string option) -> t

create fn creates a symbolizer for a given function

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

of_blocks produces a symbolizer 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 resolve : t -> addr -> string

resolve symbolizer addr returns a name of function, to which a given address belongs. If the address is not know to the symbolizer, then the name is constructed from an address

val chain : t list -> t

chain ss creates a symbolizer, that will try to resolve an address using each symbolizer in order.

val empty : t

empty is a symbolizer that knows nothing.

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