Module Cse.EnvSource

Sourcetype t = private {
  1. id : int;
  2. vars : Expr.t Binsec_kernel.Dba_types.Var.Map.t;
  3. layers : (Layer.t * bool) Binsec_kernel.Basic_types.String.Map.t;
  4. rev_reads : Expr.t list;
  5. sources : var list Binsec_kernel.Dba_types.Var.Map.t;
}
Sourceval empty : t
Sourceval is_empty : t -> bool
Sourceval clobber : Binsec_kernel.Dba.Var.t -> t -> t
Sourceval symbolize : Binsec_kernel.Dba.Var.t -> t -> t
Sourceval forget : Binsec_kernel.Dba.Var.t -> t -> t