binsec_kernel_loader
Loader.Img
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_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_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 t = (Loader_elf.Img.t, Loader_pe.Img.t, Loader_raw.Img.t, Loader_ti83.Img.t) t_pack
type header = (Loader_elf.Img.header, Loader_pe.Img.header, Loader_raw.Img.header, Loader_ti83.Img.header) t_pack
val arch : t -> Binsec_base.Machine.t
val entry : t -> Binsec_base.Virtual_address.t
val sections : t -> Section.t array
val symbols : t -> Symbol.t array
val header : t -> header
val cursor : ?at:int -> t -> int Binsec_base.Reader.t
val content : t -> Section.t -> Loader_types.buffer
val buffer : t -> Loader_types.buffer
include Binsec_base.Sigs.PRINTABLE with type t := t
val pp : Format.formatter -> t -> unit