| 
  中国学术期刊网络出版总库
  关闭
基于GCC关键变量数据流分析算法的程序切片技术  
   推荐 CAJ下载 PDF下载
【英文篇名】 Program slicing technology based on critical variable dataflow analysis algorithm in GCC compiler
【下载频次】 ★★★★
【作者】 杨小川; 姜军; 马晓东; 漆锋滨;
【英文作者】 YANG Xiaochuan; JIANG Jun; MA Xiaodong; QI Fengbin; Jiangnan Institute of Computing Technology;
【作者单位】 江南计算技术研究所;
【文献出处】 计算机工程与应用 , Computer Engineering and Applications, 编辑部邮箱 2017年 24期  
期刊荣誉:中文核心期刊要目总览  ASPT来源刊  中国期刊方阵  CJFD收录刊
【中文关键词】 程序切片; 目标函数; 关键变量; 数据流分析; GIMPLE中间表示;
【英文关键词】 program slicing; target function; critical variants; data flow analysis; GIMPLE intermediate representation;
【摘要】 随着程序的规模的扩大和复杂度的提高,通过直接分析源码进行程序切片,变得十分困难。在现有的利用编译优化技术来优化程序切片的方法中,存在无法有效利用程序的编译时信息和编译器的优化技术,以及对语言的支持不完善的问题。为此,分析了GCC编译器在编译时的中间表示,首次提出了基于GCC关键变量数据流分析算法的程序切片技术,以程序的GIMPLE中间表示为基础,以程序基本块为单位,通过迭代求解数据流方程,分析程序基本块内和不同基本块间的关键变量数据流信息。该程序切片技术可以获取源程序中仅与预设目标函数相关的关键变量和关键语句,缩减程序规模。最后通过实验,证明了该算法的可行性。
【英文摘要】 With the scale of program increasing and program complexity rising, program slicing through direct code analysis becomes much harder. In the existed approaches that use compiler optimization techniques for obtaining more accurate slices, compile-time information and existed compiler optimization are overlooked, program languages are not fully supported. To solve this problem, this paper analyzes the intermediate representations of GCC compiler, and proposes a program slicing technology based on critical var...
【基金】 国家“863”计划基金资助项目(No.2012AA010903)
【更新日期】 2017-12-28
【分类号】 TP314
【正文快照】 1引言随着现代计算机的系统程序规模日趋庞大,以及程序语言的发展逐渐偏于人性化、复杂化,期望通过传统的阅读全部代码来理解程序是不现实的。程序切片技术可以将源程序中影响兴趣点处变量值的相关部分代码抽取出来,是一种重要的程序理解与分析方法。但是由于源码中语句与变量?

xxx
【读者推荐文章】中国期刊全文数据库
【相似文献】
中国期刊全文数据库
中国优秀硕士学位论文全文数据库
中国博士学位论文全文数据库
中国重要会议论文全文数据库
中国重要报纸全文数据库
中国学术期刊网络出版总库
点击下列相关研究机构和相关文献作者,可以直接查到这些机构和作者被《中国知识资源总库》收录的其它文献,使您全面了解该机构和该作者的研究动态和历史。
【文献分类导航】从导航的最底层可以看到与本文研究领域相同的文献,从上层导航可以浏览更多相关领域的文献。

工业技术
  自动化技术、计算机技术
   计算技术、计算机技术
    计算机软件
     编译程序、解释程序
  
 
  CNKI系列数据库编辑出版及版权所有:中国学术期刊(光盘版)电子杂志社
中国知网技术服务及网站系统软件版权所有:清华同方知网(北京)技术有限公司
其它数据库版权所有:各数据库编辑出版单位(见各库版权信息)
京ICP证040431号    互联网出版许可证 新出网证(京)字008号