Data dependences, which relate statements that compute data values to statements that use those values, are useful for automating a variety of program-comprehension-related activities, such as reverse engineering, impact analysis, and debugging. Unfortunat

[20]H.Pande,ndi,andB.G.Ryder.Interproceduraldef-useassociationsforCsystemswithsingle

levelpointers.IEEETrans.Softw.Eng.,20(5):385–403,May1994.[21]S.RappsandE.J.Weyuker.Selectingsoftwaretestdatausingdata owinformation.IEEETrans.

Softw.Eng.,SE-11(4):367–375,Apr.1985.[22]M.ShapiroandS.Horwitz.Thee ectsoftheprecisionofpointeranalysis.In4thInternationalStatic

AnalysisSymposium,volume1302ofLectureNotesinComputerScience,pages16–34,Sept.1997.[23]S.Sinha,M.J.Harrold,andG.Rothermel.System-dependence-graph-basedslicingofprogramswith

arbitraryinterproceduralcontrol ow.InProceedingsofthe21stInternationalConferenceonSoftwareEngineering,pages432–441,May1999.[24]B.Steensgaard.Points-toanalysisinalmostlineartime.InConferenceRecordofthe23rdACM

SymposiumonPrinciplesofProgrammingLanguages,pages32–41,Jan.1996.[25]P.Tonella.E ectsofdi erent owinsensitivepoints-toanalysesonDEF/USEsets.InProceedingsof

the3rdEuropeanConferenceonSoftwareMaintenanceandReengineering,pages62–69,Mar.1999.[26]P.Tonella,G.Antoniol,R.Fiutem,andE.Merlo.Variableprecisionreachingde nitionsanalysis.

JournalofSoftwareMaintenance:ResearchandPractice,11(2):117–142,March–April1999.[27]M.Weiser.Programslicing.IEEETrans.Softw.Eng.,10(4):352–357,July1984.