libterm
State.Value
binsec
binsec.amd64decoder
binsec.armv7decoder
binsec.armv8decoder
binsec.domains
binsec.parser
binsec.ppc64decoder
binsec.smt
binsec.sparcv8decoder
binsec.sse
binsec.sse_register
checkct
libformula
libsolver
shadow_stack
type t = 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