binsec_kernel_loader
Binsec_kernel_loader.Loader_elf
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
module E_class : sig ... end
module E_ident : sig ... end
module Ehdr : sig ... end
module Shdr : sig ... end
module Sym : sig ... end
module Phdr : sig ... end
include Loader_sigs.S with type Section.header = Shdr.t and type Symbol.header = Sym.t and type Img.header = Ehdr.t
module Section : sig ... end
module Symbol : sig ... end
module Img : sig ... end
val check_magic : Loader_types.buffer -> bool
val load : Loader_types.buffer -> Img.t
val load_file_descr : Unix.file_descr -> Img.t
val load_file : string -> Img.t
val read_offset : Img.t -> int -> Loader_types.u8
val read_address : Img.t -> Binsec_base.Virtual_address.t -> Loader_types.u8
val program_headers : Img.t -> Phdr.t array
module Rel : sig ... end
module Dynamic : sig ... end
module Note : sig ... end
val notes : Img.t -> Note.t array
type fmap = private {
addresses : Binsec_base.Virtual_address.t Binsec_base.Interval.t;
offset : int;
mutable name : string;
}
val fmap : Binsec_base.Virtual_address.t Binsec_base.Interval.t -> int -> string -> fmap
val files : Img.t -> fmap array
module Utils : sig ... end