Object representatives: a uniform abstraction for pointer information