Simplification_dba_utils (p.binsec.0.7.3.doc.binsec.Binsec.Simplification_dba

type stats

val statistics : (Dba.Instr.t * 'a) Dba_types.Caddress.Map.t -> stats

val display_results : 
  stats ->
  (Dba.Instr.t * 'a) Dba_types.Caddress.Map.t ->
  Format.formatter ->
  float ->
  unit

val must_lhs_expr_equal : Dba.LValue.t -> Dba.Expr.t -> bool

val lhs_mustkilled_by_lhs : Dba.LValue.t -> Dba.LValue.t -> bool

val lhs_mayused_in_expr : Dba.LValue.t -> Dba.Expr.t -> bool

val lhs_mayused_in_lhs : Dba.LValue.t -> Dba.LValue.t -> bool

val is_not_mayused : 
  (Dba.Instr.t * 'a) Dba_types.Caddress.Map.t ->
  Dba_types.Caddress.Map.key ->
  int ->
  Dba.LValue.t ->
  bool Basic_types.String.Map.t Dba_types.Caddress.Map.t ->
  bool Basic_types.String.Map.t Dba_types.Caddress.Map.t * bool