Read_symbols_main (p.bap-symbol-reader.2.3.0.doc.bap-plugin-read_symbols.Read_symbols

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