package bap-symbol-reader

You can search for identifiers within the package.

in-package search v0.2.0

BAP plugin that reads symbol information from files

Install

Dune Dependency

github.com Edit opam file Versions (5)

Authors

B

BAP Team

Maintainers

I

Ivan Gotovchits <ivg@ieee.org>

Sources

v2.4.0.tar.gz

sha256=63ada71fa4f602bd679174dc6bf780d54aeded40ad4ec20d256df15886e3d2d5

md5=b8b1aff8c6846f2213eafc54de07b304

doc/bap-plugin-read_symbols/Read_symbols_main/index.html

Module `Read_symbols_main`

val provides : string list

val doc : string

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

val anonymous_prefix : string

val is_anonymous : string -> bool

val parse_entry : Core_kernel.Sexp.t -> Base.String.t * Bitvec.t

val empty : (Bitvec.t, Core_kernel.String.t) Bap_relation.t

val build_relation : 
  ('a, 'b) Bap_relation.t ->
  ('b * 'a) list ->
  ('a, 'b) Bap_relation.t

val read_relations : 
  (Bitvec.t, Base.String.t) Bap_relation.t ->
  string ->
  (Bitvec.t, Base.String.t) Bap_relation.t

val build_functions : 
  (Bitvec.t Core_kernel.Hashtbl.key, string) Bap_relation.t ->
  (Bitvec.t, string) Core_kernel.Hashtbl.t

val chop_suffix : Base.String.t -> Base.String.t

val normalize : Base.String.t -> Base.String.t

val name_matches : Base.String.t -> Base.String.t -> bool

val data : 
  (Bap_core_theory.Theory.Unit.cls,
    (Bitvec.t, Core_kernel.String.t) Core_kernel.Hashtbl.t option)
    Bap_knowledge.Knowledge.slot

val readdir : Base.String.t -> Base.String.t list

val collect : 
  Base.String.t ->
  Base.String.t list ->
  Base.String.t option option ->
  (Bitvec.t, Core_kernel.String.t) Core_kernel.Hashtbl.t

val provide_data : Base.String.t list -> Base.String.t option option -> unit

val agent : Bap_knowledge.Knowledge.agent

val get_entry : 
  Bap_core_theory.Theory.program Bap_core_theory.KB.obj ->
  Core_kernel.String.t option Bap_knowledge.Knowledge.t

val provide_starts : unit -> unit

val provide_names : unit -> unit

val files : string list list Bap_main.Extension.Configuration.param

val enable_matches : 
  string option option Bap_main.Extension.Configuration.param