package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Semantic analysis of binary executables

Install

sha256=5e1d0f26a567df4abcbeb964b454cf8b2c8484194ff2d9639bdeb94d63edcb3b

sha512=a638c665407fde9aadbd57a7b9f84260db8f03c0cbf65722732d43dfc93122d801e31977e0ba7cd249b340262caf216bca746a3520d0e01d487a5baf6a6c77e6

val reserved : (string * Smtlib_parser.token) list

val reserved_table : (string, Smtlib_parser.token) Hashtbl.t

val string_buffer : Buffer.t

val reset_string_buffer : unit -> unit

val store_string_char : char -> unit

val store_string : string -> unit

val get_stored_string : unit -> string

val string_start_loc : Location.t ref

val update_loc : Lexing.lexbuf -> string option -> int -> bool -> int -> unit

exception LexError of string

val __ocaml_lex_tables : Lexing.lex_tables

val token : Lexing.lexbuf -> Smtlib_parser.token

val __ocaml_lex_token_rec : Lexing.lexbuf -> int -> Smtlib_parser.token

val string : Lexing.lexbuf -> unit

val __ocaml_lex_string_rec : Lexing.lexbuf -> int -> unit

val comment : Lexing.lexbuf -> unit

val __ocaml_lex_comment_rec : Lexing.lexbuf -> int -> unit