Class Testing by Examining Pointers