package bap-symbol-reader

  1. Overview
  2. Docs
BAP plugin that reads symbol information from files

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-plugin-read_symbols/Read_symbols_main/index.html

Module Read_symbols_mainSource

Sourceval provides : string list
Sourceval doc : string
Sourcemodule Sys = Core_kernel.Caml.Sys
include sig ... end
val debug : ('a, Format.formatter, unit) format -> 'a
val info : ('a, Format.formatter, unit) format -> 'a
val warning : ('a, Format.formatter, unit) format -> 'a
val error : ('a, Format.formatter, unit) format -> 'a
val report_progress : ?task:string -> ?note:string -> ?stage:int -> ?total:int -> unit -> unit
val debug_formatter : Format.formatter
val info_formatter : Format.formatter
val warning_formatter : Format.formatter
val error_formatter : Format.formatter
Sourceval anonymous_prefix : string
Sourceval is_anonymous : string -> bool
Sourceval parse_entry : Core_kernel.Sexp.t -> Base.String.t * Bitvec.t
Sourceval build_relation : ('a, 'b) Bap_relation.t -> ('b * 'a) list -> ('a, 'b) Bap_relation.t
Sourceval read_relations : (Bitvec.t, Base.String.t) Bap_relation.t -> string -> (Bitvec.t, Base.String.t) Bap_relation.t
Sourceval chop_suffix : Base.String.t -> Base.String.t
Sourceval normalize : Base.String.t -> Base.String.t
Sourceval name_matches : Base.String.t -> Base.String.t -> bool
Sourceval readdir : Base.String.t -> Base.String.t list
Sourceval collect : Base.String.t -> Base.String.t list -> Base.String.t option option -> (Bitvec.t, Core_kernel.String.t) Core_kernel.Hashtbl.t
Sourceval provide_data : Base.String.t list -> Base.String.t option option -> unit
Sourceval get_entry : Bap_core_theory.Theory.program Bap_core_theory.KB.obj -> Core_kernel.String.t option Bap_knowledge.Knowledge.t
Sourceval provide_starts : unit -> unit
Sourceval provide_names : unit -> unit
Sourceval enable_matches : string option option Bap_main.Extension.Configuration.param