Up – Package index » binsec » Library checkct » Checkct » Make » Value

Module `State.Value`

binsec
- CHANGES
- LICENSE
- README
- Library binsec
  - Binsec
- Library binsec.amd64decoder
  - Amd64decoder
- Library binsec.armv7decoder
  - Armv7decoder
- Library binsec.armv8decoder
  - Armv8decoder
- Library binsec.domains
  - Domains
- Library binsec.parser
  - Libparser
- Library binsec.ppc64decoder
  - Ppc64decoder
- Library binsec.smt
  - Smt
- Library binsec.sparcv8decoder
  - Sparcv8decoder
- Library binsec.sse
  - Libsse
- Library binsec.sse_register
  - Sse
- Library checkct
  - Checkct
- Library libformula
  - Libformula
- Library libsolver
  - Libsolver
- Library libterm
  - Libterm
- Library shadow_stack
  - Shadow_stack
- Sources

type t = Libterm.Sexpr.Expr.t

Symbolic value

val kind : t Libsse.Types.value

val constant : Binsec.Bitvector.t -> t

val var : Uid.t -> string -> int -> t

val unary : Libsse.Types.unary Libsse.Types.operator -> t -> t

val binary : Libsse.Types.binary Libsse.Types.operator -> t -> t -> t

val ite : t -> t -> t -> t