binsec.sse
Interpreter.Concrete
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
module P : Types.PATH
module _ : DRIVER with type path = P.t and type outcome = P.t Types.continuation
type path = P.t
type outcome = P.t Types.continuation
val step : path -> ([ `Step ], path) Types.fiber -> outcome
val assign : path -> ([ `Assign ], path) Types.fiber -> outcome
val clobber : path -> ([ `Clobber ], path) Types.fiber -> outcome
val load : path -> ([ `Load ], path) Types.fiber -> outcome
val store : path -> ([ `Store ], path) Types.fiber -> outcome
val symbolize : path -> ([ `Symbolize ], path) Types.fiber -> outcome
val apply : path -> ([ `Apply ], path) Types.fiber -> outcome
val assume : path -> ([ `Assume ], path) Types.fiber -> outcome
val check : path -> ([ `Assert ], path) Types.fiber -> outcome
val ite : path -> ([ `Branch ], path) Types.fiber -> outcome
val goto : path -> ([ `Goto ], path) Types.fiber -> outcome
val jump : path -> ([ `Jump ], path) Types.fiber -> outcome
val call : path -> ([ `Call ], path) Types.fiber -> outcome
val tail_call : path -> ([ `Tail_call ], path) Types.fiber -> outcome