Maintain a context in the variable sensitvity domain that records write locations for a given abstrac...
Maintain data dependencies as a context in the variable sensitivity domain.
abstract_object_pointert get_abstract_object(const typet &type, bool top, bool bottom, const exprt &e, const abstract_environmentt &environment, const namespacet &ns) const
Get the appropriate abstract object for the variable under consideration.