Text this: Classifying Data Dependences in the Presence of Pointers for Program Comprehension, Testing, and Debugging.