binsec.sse
Script.Loc
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 t = Binsec_script_ast.Ast.Loc.t =
| Var of string * Binsec_script_ast.Ast.Size.t
| Load of int * Binsec_kernel.Machine.endianness option * Binsec_script_ast.Ast.Expr.t Binsec_script_ast.Ast.loc * string option
| Sub of int Binsec_kernel.Interval.t * t Binsec_script_ast.Ast.loc
val var : ?size:Binsec_script_ast.Ast.Size.t -> string -> t
val load : ?array:string -> int -> ?endianness:Binsec_kernel.Machine.endianness -> Binsec_script_ast.Ast.Expr.t Binsec_script_ast.Ast.loc -> t
val restrict : hi:int -> lo:int -> t Binsec_script_ast.Ast.loc -> t
val pp : Format.formatter -> t -> unit