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.5.0.tar.gz

sha256=9c126781385d2fa9b8edab22e62b25c70bf2f99f6ec78abb7e5e36d63cfa4174

md5=5abd9b3628b43f797326034f31ca574f

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

Module `Read_symbols_main`Source

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 empty : (Bitvec.t, Core_kernel.String.t) Bap_relation.t

Source

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

Source

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

Source

val build_functions : 
  (Bitvec.t Core_kernel.Hashtbl.key, string) Bap_relation.t ->
  (Bitvec.t, string) Core_kernel.Hashtbl.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

Source

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

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

Source

val 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 agent : Bap_knowledge.Knowledge.agent

Source

val 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 files : string list list Bap_main.Extension.Configuration.param

Source

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

package bap-symbol-reader

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module Read_symbols_mainSource

Module `Read_symbols_main`Source