面向对象程序切片中的数据流分析

《面向对象程序切片中的数据流分析》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、西安电子科技大学硕士学位论文面向对象程序切片中的数据流分析姓名：陆仲达申请学位级别：硕士专业：计算机软件与理论指导教师：刘坚20030101摘要本文致力于完成面向对象程序(c++)切片工具中数据依赖图的构造，因为数据依赖图的构造可以归结到程序中到达一定值信息的求解，所以本文主要阐述了到达一定值的求解算法及相关的数据流分析问题，并讨论了算法的程序实现，以及在程序切片中的应用。文中工作使用的到达．定值求解算法是对编译器代码优化领域中经典的到达一定值迭代求解算法的修改，使其适用于程序切片领域。在实现程序切片工具时，本文利用G

2、CC编译器的前端完成对C++程序的分析，在GCC生成的抽象语法树基础上实现程序切片。在实现到达．定值求解算法时，因为算法基于控制流图，本文提出了一种抽象语法树到控制流图的转换算法，并将其程序实现。在生成的控制流图的基础上，根据到达．定值的求解算法，最终完成算法的程序实现。本文中工作基本上可以处理各种复杂数据类型存在时，程序中到达一定值信息的求解，但在数组和指针存在时，分析的精度有待提高。关键字：数据流分析程序切片数据依赖控制流图抽象语法树ABSTRACTThispaperisdedicatedtotheconstruc

3、tionofdatadependencegraphofanobject-orientedprogramslicingt001．Fortheconstructionofdatadependencegraphcomesdowntotheobtainingofreachingdefinitionsinformation，analgorithmforreachingdefinitionsandrelatedissuesaboutdataflowanalysisarediscussed．Andtheimplementationo

4、fthealgorithmanditsapplicationinprogramslicingarealsodiscussed，TheaJgodthrnforreachingdefmifionsinthepaperisthemodificationoftheclassicaliterativealgorithminthefieldofcompilercodeoptimization，SOthatitCanbeappliedtoprogramslicing．Intheimplementationoftheprogramsl

5、icingtool，thefrontendofGCCisutilizedtoparsetheC++programandprogramslicingisconstructedbasedontheAST(abstractsyntaxtree)producedbyGCC．Whenimplementingthealgorithmforreachingdefinitions．analgorithmtotxartsfomatheASToftheanalyzedprogramtoitsaccordingCFG(controlflow

6、日aph)isrepresentedandimplementedforthereasonofCFOasthebaseofthealgodthmforreachingdefirtitions．AftertheconstructionofCFQthealgofithmforreachingdefinitionsisimplementedwiththeinformationobtainedfromtheASToftheprogram．Thispapercallgeneratereachingdefmiffonsinforma

7、tionforprogramwithvariousdal口typewhiletheprecisionneedstobeimprovedinmepresenceofarrayandpointer．Keyword：dataflowanalysiscontrolflowgraphprogramslicingdatadependenceabstractsyntaxtree创新性声明X砖s3j3；1本人声明所呈交的学位论文是我个人在导师的指导下进行的研究工作及取得的研究成果。尽我所知，除了文中特别加以标注和致谢中所罗列的内容以外

8、，论文中不包含其他人已经发表或撰写过的研究成果，也不包含为获得西安电子科技大学或其他教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究工作所做的任何贡献均已在论文中作了明确的说明并表示了谢意。申请学位论文若有不实之处，本人承担一切相关责任。本人签名囟塔日期：．7_003-／∥关于论文使用授权的说明本人完全了解西安电子科