binsec
Binsec.Parser_ghidra
binsec.amd64decoder
binsec.armv7decoder
binsec.armv8decoder
binsec.domains
binsec.parser
binsec.ppc64decoder
binsec.smt
binsec.sse
binsec.sse_register
checkct
libformula
libterm
shadow_stack
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 : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> (Virtual_address.t * int * string * string * Virtual_address.t list) list
val instruction : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Virtual_address.t * int * string * string * Virtual_address.t list