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.
General implementation of a an abstract_objectt which can track side information in the form of a 'co...
Maintain data dependencies as a context in the variable sensitivity domain.
Maintain a context in the variable sensitvity domain that records write locations for a given abstrac...