binsec.sse
Compiler.Straight
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 'a t
val empty : (module Types.PATH with type t = 'a) -> 'a t
val assign : 'a t -> Binsec_kernel.Dba.Var.t -> Binsec_kernel.Dba.Expr.t -> unit
val clobber : 'a t -> Binsec_kernel.Dba.Var.t -> unit
val symbolize : 'a t -> Binsec_kernel.Dba.Var.t -> unit
val forget : 'a t -> Binsec_kernel.Dba.Var.t -> unit
val load : 'a t -> Binsec_kernel.Dba.Var.t -> string option -> Binsec_kernel.Machine.endianness -> Binsec_kernel.Dba.Expr.t -> unit
val store : 'a t -> string option -> Binsec_kernel.Machine.endianness -> addr:Binsec_kernel.Dba.Expr.t -> Binsec_kernel.Dba.Expr.t -> unit
val assume : 'a t -> Binsec_kernel.Dba.Expr.t -> unit
val check : 'a t -> Binsec_kernel.Dba.Expr.t -> unit
val apply : 'a t -> ?input:Binsec_kernel.Dba_types.Var.Set.t -> ?output:Binsec_kernel.Dba_types.Var.Set.t -> ('a -> unit) -> unit
val commit : 'a t -> pred:([ `All ], 'a) Types.fiber -> ([ `All ], 'a) Types.fiber