Module Cse.EnvSource

Sourcetype t = private {
  1. vars : Expr.t VarMap.t;
  2. layers : (Layer.t * bool) StrMap.t;
  3. rev_reads : Expr.t list;
  4. input_vars : Expr.t VarMap.t;
}
Sourceval empty : t
Sourceval is_empty : t -> bool
Sourceval clobber : Binsec.Dba.Var.t -> t -> t
Sourceval forget : Binsec.Dba.Var.t -> t -> t
Sourceval load : Binsec.Dba.Var.t -> string option -> Binsec.Machine.endianness -> Binsec.Dba.Expr.t -> t -> t
Sourceval store : string option -> Binsec.Machine.endianness -> addr:Binsec.Dba.Expr.t -> Binsec.Dba.Expr.t -> t -> t
Sourceval eval : Binsec.Dba.Expr.t -> t -> Expr.t * t