binsec.sse
Binsec_sse.Output
binsec
binsec.base
binsec.cli
binsec.domains
binsec.dwarf
binsec.isa
binsec.kernel
binsec.script
binsec.smtlib
binsec.symbolic
binsec.unix
binsec_cli_bbsse
binsec_cli_disasm
binsec_cli_ghidra
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 format =
| Bin
| Dec
| Hex
| Ascii
type ('var, 'expr) t =
| Model
| Formula
| Slice of ('expr * string) list
| Value of format * 'expr
| Stream of 'var
| String of {
array : string option;
offset : 'expr;
size : 'expr option;
}
val format_str : format -> string
val pp : (Format.formatter -> 'var -> unit) -> (Format.formatter -> 'expr -> unit) -> Format.formatter -> ('var, 'expr) t -> unit