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

References

[1]H.Agrawal,R.A.DeMillo,andE.H.Spa ord.Dynamicslicinginthepresenceofunconstrained

pointers.InProceedingsofthesymposiumonTesting,Analysis,andVeri cation,pages60–73,Oct.1991.[2]A.V.Aho,R.Sethi,pilers,Principles,Techniques,andTools.Addison-Wesley

PublishingCompany,Reading,MA,1986.[3]L.O.Andersen.ProgramanalysisandspecializationfortheCprogramminglanguage.TechnicalReport

94-19,UniversityofCopenhagen,1994.[4]D.C.AtkinsonandW.G.Griswold.E ectivewhole-programanalysisinthepresenceofpointers.In

ProceedingsofACMSIGSOFTSixthInternationalSymposiumontheFoundationsofSoftwareEngi-neering,pages46–55,Nov.1998.[5]L.Bent,D.C.Atkinson,andW.G.Griswold.Acomparativestudyoftwowhole-programslicersfor

C.TechnicalReportUCSDTRCS2000-0643,UniversityofCaliforniaatSanDiego,May2000.[6]D.W.Binkley.Slicinginthepresenceofparameteraliasing.InSoftwareEngineeringResearchForum,

pages261–268,Nov.1993.[7]D.W.BinkleyandJ.R.Lyle.Applicationofthepointerstatesubgraphtostaticprogramslicing.The

JournalofSystemsandSoftware,40(1):17–27,Jan.1998.[8]G.Canfora,A.Cimitile,rmationandSoftware

Technology,40(11-12):595–608,November1998.Specialissueonprogramslicing.[9]P.G.FranklandE.J.Weyuker.Anapplicablefamilyofdata owtestingcriteria.IEEETrans.Softw.

Eng.,14(10):1483–1498,Oct.1988.[10]P.L.R.Group.PROLANGSAnalysisFramework.http://www.prolangs.rutgers.edu/,RutgersUni-versity,1998.[11]M.HarmanandS.Danicic.Amorphousprogramslicing.InProceedingsoftheFifthInternational

WorkshoponProgramComprehension.IEEEComputerSocietyPress,1997.[12]M.J.HarroldandN.Ci.Reuse-driveninterproceduralslicing.InProceedingsofthe20thInternational

ConferenceonSoftwareEngineering,pages74–83,Apr.1998.[13]M.J.HarroldandG.Rothermel.Aristotle:Asystemforresearchonanddevelopmentofprogram-analysis-basedtools.TechnicalReportOSU-CISRC-3/97-TR17,TheOhioStateUniversity,Mar.1997.[14]S.Horwitz,T.Reps,andD.Binkley.Interproceduralslicingusingdependencegraphs.ACMTrans.

ng.Syst.,12(1):26–60,Jan.1990.[15]ndiandB.G.Ryder.Asafeapproximatealgorithmforinterproceduralpointeraliasing.InPro-ceedingsoftheACMSIGPLAN’92ConferenceonProgrammingLanguageDesignandImplementation,pages235–248,June1992.[16]D.LiangandM.J.Harrold.E cientpoints-toanalysisforwhole-programanalysis.InProceedings

ofESEC/FSE’997thEuropeanSoftwareEngineeringConferenceand7thACMSIGSOFTSymposiumontheFoundationsofSoftwareEngineering,volume1687ofLectureNotesinComputerScience,pages199–215.Springer-Verlag,Sept.1999.[17]D.LiangandM.J.Harrold.Reuse-driveninterproceduralslicinginthepresenceofpointersand

recursion.InProceedingsoftheInternationalConferenceonSoftwareMaintenance,pages421–432,August–September1999.[18]E.MerloandG.Altoniol.Pointersensitivedef-usepre-dominance,post-dominanceandsyn-chronousdominancerelationsforunconstraineddef-useintraproceduralcomputation.TechnicalReportEPM/RT-00/01,EcolePolytechniqueofMontreal,Mar.2000.[19]T.J.OstrandandE.J.Weyuker.Data ow-basedtestadequacyanalysisforlanguageswithpointers.

InProceedingsoftheSymposiumonTesting,Analysis,andVeri cation,pages74–86,Oct.1991.