binsec_cli_ghidra
Binsec_cli_ghidra.Parser_ghidra
binsec
binsec.base
binsec.cli
binsec.domains
binsec.dwarf
binsec.isa
binsec.kernel
binsec.script
binsec.smtlib
binsec.sse
binsec.symbolic
binsec.unix
binsec_cli_bbsse
binsec_cli_disasm
binsec_cli_sse
binsec_cli_xtrasec
binsec_isa_armv7
binsec_isa_armv8
binsec_isa_ppc64
binsec_isa_riscv
binsec_isa_sparcv8
binsec_isa_x86_32
binsec_isa_x86_64
binsec_kernel_dba
binsec_kernel_isa
binsec_kernel_loader
binsec_kernel_parser
binsec_script_ast
binsec_smtlib_bindings
binsec_sse_checkct
binsec_sse_loader
binsec_sse_quick_merge
binsec_sse_shadow_stack
binsec_sse_stake
checkct
shadow_stack
stake
type token =
| SUPER
| SUCCESSORS
| STRING of string
| SIZE
| RPAR
| OPCODE
| NUMERIC of Z.t
| MNEMONIC
| LPAR
| KIND
| INFO
| FILE
| EOF
| DOT
| DATE
| ADDRESS
exception Error
val instructions : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> (Binsec.Virtual_address.t * int * string * string * Binsec.Virtual_address.t list) list
val instruction : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Binsec.Virtual_address.t * int * string * string * Binsec.Virtual_address.t list