Up – Package index » binsec » Library binsec.sse » Libsse » Exec » Start » State » Value

Module `State.Value`Source

type t = SF(Query_stats).Value.t

val constant : Binsec.Bitvector.t -> t

val lookup : Binsec.Dba.Var.t -> t -> t

val read : addr:t -> int -> Binsec.Machine.endianness -> t -> t * t

val select : string -> addr:t -> int -> Binsec.Machine.endianness -> t -> t * t

val unary : Binsec.Term.unary Binsec.Term.operator -> t -> t

val binary : Binsec.Term.binary Binsec.Term.operator -> t -> t -> t

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

val eval : Binsec.Dba.Expr.t -> t -> t