基于静态分析的C程序控制流图构造方法研究.pdf

《基于静态分析的C程序控制流图构造方法研究.pdf》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、学校代码：10135论文分类号：学号：20104019006研究生类别：全日制幽喜之占哥貉犬謦硕士学位论文基于静态分析的C程序控制流图构造方法研究TheApproachofConstructionofControlFlowGraphBasedonStaticAnalysisforCPrograms学科门类：一级学科：学科、专业：研究方向：申请人姓名：指导教师姓名：工学计算机科学与技术计算机应用技术多媒体与CAI任浩张丽萍副教授二。一三年五月二十四日内蒙古师范大学硕士学位论文独创性声明本人声明所里交的学位论文是本人在导师指导下进行的研究工作及取得的研究成果，尽我所知，除了文中特别加以标注和

2、致谢的地方外，论文中不包含其他人已经发表或撰写过的研究成果，．也不包含本人为获得内蒙古师范大学或其它教育机构的学位或证书而使用过的材料．本人保证所呈交的论文不侵犯国家机密、商业秘密及其他合法权益．与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示感谢．．．、签名：．1垂睦日期：劫，夕年歹月≯吵日关子论文使用授权的说明本学位论文作者完全了解内蒙古师范大学有关保留、使用学位论文的规定：内蒙古师范大学有权保留并向国索有关部门或机构送交论文的复印件和截盘，允许论文被查阅和借阕，可以将学位论文的全部或部分内容编入有关数据库进行检索，可以采用影印、缩印或扫描等复僦手段保存，汇编

3、学位论文，并且本人电子文档的内容和纸质论文的内容相一致．保密的学位论文在解密后也遵守此规定．签名：饭落导师签名：弘k茸日期：2．,Ol多年歹月j≯垆日内蒙古师范大学硕士学位论文中文摘要控制流分析作为软件分析的重要内容，在软件工程领域受到了越来越广泛的关注。控制流分析的主要目的是构造程序的控制流图。利用控制流分析技术对源程序进行控制流分析，并生成其所对应的控制流图，是目前软件工程领域研究的热点课题之一。控制流图在程序的分析和理解领域有着广泛的应用。本文以C程序源代码作为研究对象，并利用静态分析技术，来构造程序的控制流图。首先在C语言文法的基础上，对C语言的各种语句结构和用法进行了深入的分析

4、和研究，重点分析了其各种语句结构的控制流走向及其特点，然后据此设计了相应的数据结构和从源程序自动生成其所对应的程序控制流图的算法；接下来根据程序控制流图生成算法，利用语法制导翻译技术，在分析器自动生成工具ANTLR的基础上，自动的生成其所对应的控制流分析器，然后利用生成的控制流分析器对给定的C源程序进行分析便可得到其所对应的控制流图；此外为了把生成韵控制流图以直观的形式展现给用户，我们还采用了相关的技术对其进行可视化输出研究，并在此基础上最终实现了一个面向C语言源代码的程序控制流图自动生成的实验系统，并且我们把此系统应用在了实际的教学中，取得了良好的效果。实验结果表明，本文提出的基于静态

5、分析的C程序控制流图构造方法能够正确的生成程序所对应的控制流图，并且本文所采用的控制流分析方法还可以对程序中存在的各种复杂语句结构以及它们之间的相互嵌套进行分析。关键词：控制流图，静态分析，源程序，ANTLR,语法制导翻译，可视化塑蔓直堕堇奎兰堕主兰焦笙窒一一———————————————_——_—___——●_—_———_——__————-————————●———_——_—————一一。ABSTRACTAsanimportantpartofsoftwareanalysis，controlflowanalysishasattractedmore锄dmoreattentioninthefi

6、eldofsoftwareengineering．Themainpurposeofcontrolflowanalysisistoconstructthecontrolflowgraph，docontrolflowanalysisonthesourceprogram，andgeneratethecorrespondingcontrolflowgraphig'currentlyoneofthehottopicsinthefieldofsoftwareengineering．Thecontrolflowgraphhasawiderangeofapplicationsinthefieldofpr

7、ogramanalysisandunderstanding．Inthispaper,wefocusonthesourcecodeofCprogram，constructthecontrolflowgraphwithstaticanalysistechnology．Firstly,basedonthegrammarofCprogram，doanalysisandresearchonallkindsofstructureofsenten