Module Backward_analysis

module Backward_analysis: sig .. end
Backward analysis for better precision

val backward_refine_elements : Dba_types.AddressStack.Map.key ->
('a * 'b * 'c * Dba_types.AddressStack.Set.t) Dba_types.AddressStack.Map.t ->
(Dba.instruction * 'd) Dba_types.Caddress.Map.t ->
('a ->
int Basic_types.String.Map.t ->
Smtlib2.SmtVarSet.t -> Smtlib2.smt_bv_expr list * Smtlib2.SmtVarSet.t) ->
int Dba_types.Caddress.Map.t ->
Region_bitvector.t list *
((Smtlib2.smt_expr * Smtlib2.smt_expr) list * Smtlib2.smt_bv_expr list *
Smtlib2.SmtVarSet.t * string * int Basic_types.String.Map.t)