package bap-symbol-reader

You can search for identifiers within the package.

in-package search v0.2.0

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

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

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

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

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

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

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