binsec_script_ast
Ast.Expr
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_loader
binsec_kernel_parser
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 =
| Int of Z.t * string option
| Bv of Binsec_kernel.Bitvector.t
| Symbol of Symbol.t loc
| Loc of Loc.t loc
| Unary of Binsec_kernel.Dba.Unary_op.t * t loc
| Binary of Binsec_kernel.Dba.Binary_op.t * t loc * t loc
| Ite of t loc * t loc * t loc
val zero : t
val one : t
val succ : t loc -> t
val integer : ?src:string -> Z.t -> t
val constant : Binsec_kernel.Bitvector.t -> t
val symbol : Symbol.t loc -> t
val loc : Loc.t loc -> t
val add : t loc -> t loc -> t
val sub : t loc -> t loc -> t
val mul : t loc -> t loc -> t
val neg : t loc -> t
val udiv : t loc -> t loc -> t
val urem : t loc -> t loc -> t
val sdiv : t loc -> t loc -> t
val srem : t loc -> t loc -> t
val logand : t loc -> t loc -> t
val logor : t loc -> t loc -> t
val lognot : t loc -> t
val logxor : t loc -> t loc -> t
include Binsec_kernel.Sigs.COMPARISON with type t := t loc and type boolean := t
val equal : t loc -> t loc -> t
val diff : t loc -> t loc -> t
val ule : t loc -> t loc -> t
val uge : t loc -> t loc -> t
val ult : t loc -> t loc -> t
val ugt : t loc -> t loc -> t
val sle : t loc -> t loc -> t
val sge : t loc -> t loc -> t
val slt : t loc -> t loc -> t
val sgt : t loc -> t loc -> t
val shift_left : t loc -> t loc -> t
val shift_right : t loc -> t loc -> t
val shift_right_signed : t loc -> t loc -> t
val rotate_left : t loc -> t loc -> t
val rotate_right : t loc -> t loc -> t
val sext : int -> t loc -> t
val uext : int -> t loc -> t
val restrict : hi:int -> lo:int -> t loc -> t
val append : t loc -> t loc -> t
val ite : t loc -> t loc -> t loc -> t
val pp : Stdlib.Format.formatter -> t -> unit