Module `Script.Expr`

type t = Binsec_script_ast.Ast.Expr.t =

| Int of Z.t * string option
| Bv of Binsec_kernel.Bitvector.t
| Symbol of Binsec_script_ast.Ast.Symbol.t Binsec_script_ast.Ast.loc
| Loc of Binsec_script_ast.Ast.Loc.t Binsec_script_ast.Ast.loc
| Unary of Binsec_kernel.Dba.Unary_op.t * t Binsec_script_ast.Ast.loc
| Binary of Binsec_kernel.Dba.Binary_op.t * t Binsec_script_ast.Ast.loc * t Binsec_script_ast.Ast.loc
| Ite of t Binsec_script_ast.Ast.loc * t Binsec_script_ast.Ast.loc * t Binsec_script_ast.Ast.loc

val zero : t

val one : t

val succ : t Binsec_script_ast.Ast.loc -> t

val integer : ?src:string -> Z.t -> t

val constant : Binsec_kernel.Bitvector.t -> t

val symbol : Binsec_script_ast.Ast.Symbol.t Binsec_script_ast.Ast.loc -> t

val loc : Binsec_script_ast.Ast.Loc.t Binsec_script_ast.Ast.loc -> t

val add : t Binsec_script_ast.Ast.loc -> t Binsec_script_ast.Ast.loc -> t

val sub : t Binsec_script_ast.Ast.loc -> t Binsec_script_ast.Ast.loc -> t

val mul : t Binsec_script_ast.Ast.loc -> t Binsec_script_ast.Ast.loc -> t

val neg : t Binsec_script_ast.Ast.loc -> t

val udiv : t Binsec_script_ast.Ast.loc -> t Binsec_script_ast.Ast.loc -> t

val urem : t Binsec_script_ast.Ast.loc -> t Binsec_script_ast.Ast.loc -> t

val sdiv : t Binsec_script_ast.Ast.loc -> t Binsec_script_ast.Ast.loc -> t

val srem : t Binsec_script_ast.Ast.loc -> t Binsec_script_ast.Ast.loc -> t

val logand : t Binsec_script_ast.Ast.loc -> t Binsec_script_ast.Ast.loc -> t

val logor : t Binsec_script_ast.Ast.loc -> t Binsec_script_ast.Ast.loc -> t

val lognot : t Binsec_script_ast.Ast.loc -> t

val logxor : t Binsec_script_ast.Ast.loc -> t Binsec_script_ast.Ast.loc -> t

include Binsec_kernel.Sigs.COMPARISON
  with type t := t Binsec_script_ast.Ast.loc
   and type boolean := t

val equal : t Binsec_script_ast.Ast.loc -> t Binsec_script_ast.Ast.loc -> t

val diff : t Binsec_script_ast.Ast.loc -> t Binsec_script_ast.Ast.loc -> t

val ule : t Binsec_script_ast.Ast.loc -> t Binsec_script_ast.Ast.loc -> t

val uge : t Binsec_script_ast.Ast.loc -> t Binsec_script_ast.Ast.loc -> t

val ult : t Binsec_script_ast.Ast.loc -> t Binsec_script_ast.Ast.loc -> t

val ugt : t Binsec_script_ast.Ast.loc -> t Binsec_script_ast.Ast.loc -> t

val sle : t Binsec_script_ast.Ast.loc -> t Binsec_script_ast.Ast.loc -> t

val sge : t Binsec_script_ast.Ast.loc -> t Binsec_script_ast.Ast.loc -> t

val slt : t Binsec_script_ast.Ast.loc -> t Binsec_script_ast.Ast.loc -> t

val sgt : t Binsec_script_ast.Ast.loc -> t Binsec_script_ast.Ast.loc -> t

val shift_left : 
  t Binsec_script_ast.Ast.loc ->
  t Binsec_script_ast.Ast.loc ->
  t

val shift_right : 
  t Binsec_script_ast.Ast.loc ->
  t Binsec_script_ast.Ast.loc ->
  t

val shift_right_signed : 
  t Binsec_script_ast.Ast.loc ->
  t Binsec_script_ast.Ast.loc ->
  t

val rotate_left : 
  t Binsec_script_ast.Ast.loc ->
  t Binsec_script_ast.Ast.loc ->
  t

val rotate_right : 
  t Binsec_script_ast.Ast.loc ->
  t Binsec_script_ast.Ast.loc ->
  t

val sext : int -> t Binsec_script_ast.Ast.loc -> t

val uext : int -> t Binsec_script_ast.Ast.loc -> t

val restrict : hi:int -> lo:int -> t Binsec_script_ast.Ast.loc -> t

val append : t Binsec_script_ast.Ast.loc -> t Binsec_script_ast.Ast.loc -> t

val ite : 
  t Binsec_script_ast.Ast.loc ->
  t Binsec_script_ast.Ast.loc ->
  t Binsec_script_ast.Ast.loc ->
  t

val pp : Format.formatter -> t -> unit

Install

dune-project
Dependency

Authors

Maintainers

Sources

doc/binsec.sse/Binsec_sse/Script/Expr/index.html

Module `Script.Expr`

package binsec

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/binsec.sse/Binsec_sse/Script/Expr/index.html

Module Script.Expr

dune-project
Dependency

Module `Script.Expr`