binsec.base
Binsec_base
binsec
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_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
module Array_utils : sig ... end
Extra functions over arrays
module Basic_types : sig ... end
Definitions of non-DBA types
module Binstream : sig ... end
Representation of binary streams
module Bitvector : sig ... end
module Collection : sig ... end
module Domains : sig ... end
module Errors : sig ... end
module File_utils : sig ... end
Extra functions over files
module Hash : sig ... end
module Hmap : sig ... end
module Interval : sig ... end
module Lmap : sig ... end
module Logger : sig ... end
Logging/output facilities
module Machine : sig ... end
Abstract description of machines
module Mnemonic : sig ... end
module Natural : sig ... end
module Parse_utils : sig ... end
General BINSEC related utilities
module Prettytbl : sig ... end
module Reader : sig ... end
Basic stream reader
module Sequence : sig ... end
module Sigs : sig ... end
Generic signatures used throughout BINSEC
module Size : sig ... end
module String_utils : sig ... end
Extra functions over strings
module Suid : sig ... end
module Term : sig ... end
module Virtual_address : sig ... end
module Worklist : sig ... end
Worklist / Work queue implementation
module Zmap : sig ... end