binsec.sse
Run._
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
val filename : string
val isa : Binsec_kernel.Machine.isa option
val img : Binsec_kernel.Loader.Img.t
val fs : string -> Binsec_kernel.Loader_types.buffer
val assembler : (module Compiler.ASSEMBLER)
val trace : Compiler.trace
val transient_enum : int
val max_depth : int
val enumeration_limit : int
val smt_backend : Binsec_sse.Symbolic.Smtlib.Solver.backend
val smt_timeout : float option
val smt_multichecks : bool
val smt_dumpdir : string option
val missing_symbols : warnerror
val timeout : int option
val entry : Binsec_kernel.Virtual_address.t option
val script : (unit, Binsec_script.obj, unit, unit, Binsec_script.obj Dyp.dyplexbuf) Dyp.dyp_action list list -> Binsec_sse.Script.Ast.t list
val plugins : (module Types.PLUGIN) list