package bap-symbol-reader

  1. Overview
  2. Docs
BAP plugin that reads symbol information from files

Install 

dune-project
 Dependency

github.com Edit opam file Versions (5)

Authors

  1. B
    BAP Team

Maintainers

  1. I
    Ivan Gotovchits <ivg@ieee.org>

Sources

v2.1.0.tar.gz
sha256=631fc58628418e4856709a0cfc923a65e00c9494fbd28d444c633d11194831de
md5=3db9deac8d429b9b8a8ec9aec54987b1

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

Module Read_symbols_main.Config

val version : string
val datadir : string
val libdir : string
val confdir : string
type 'a param
type !'a parser = string -> [ `Error of string | `Ok of 'a ]
type 'a converter
val converter : 'a parser -> (Format.formatter -> 'a -> unit) -> 'a -> 'a converter
val deprecated : string
val param : 'a converter -> ?deprecated:string -> ?default:'a -> ?as_flag:'a -> ?docv:string -> ?doc:string -> ?synonyms:string list -> string -> 'a param
val param_all : 'a converter -> ?deprecated:string -> ?default:'a list -> ?as_flag:'a -> ?docv:string -> ?doc:string -> ?synonyms:string list -> string -> 'a list param
val flag : ?deprecated:string -> ?docv:string -> ?doc:string -> ?synonyms:string list -> string -> bool param
val determined : 'a param -> 'a Bap_future.Std.future
type reader = {
  1. get : 'a. 'a param -> 'a;
}
val when_ready : (reader -> unit) -> unit
type manpage_block = [
  1. | `I of string * string
  2. | `Noblank
  3. | `P of string
  4. | `Pre of string
  5. | `S of string
]
val manpage : manpage_block list -> unit
val bool : bool converter
val char : char converter
val int : int converter
val nativeint : nativeint converter
val int32 : int32 converter
val int64 : int64 converter
val float : float converter
val string : string converter
val enum : (string * 'a) list -> 'a converter
val doc_enum : ?quoted:bool -> (string * 'a) list -> string
val file : string converter
val dir : string converter
val non_dir_file : string converter
val list : ?sep:char -> 'a converter -> 'a list converter
val array : ?sep:char -> 'a converter -> 'a array converter
val pair : ?sep:char -> 'a converter -> 'b converter -> ('a * 'b) converter
val t2 : ?sep:char -> 'a converter -> 'b converter -> ('a * 'b) converter
val t3 : ?sep:char -> 'a converter -> 'b converter -> 'c converter -> ('a * 'b * 'c) converter
val t4 : ?sep:char -> 'a converter -> 'b converter -> 'c converter -> 'd converter -> ('a * 'b * 'c * 'd) converter
val some : ?none:string -> 'a converter -> 'a option converter