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