CCodeExtractor:一种针对C程序自动化的函数提取方法

摘要：

随着程序规模和复杂性的增加,代码重构在改善软件质量、性能以及提高软件的扩展性和维护性等方面至关重要.目前的Eclipse中,C源代码重构工具的函数提取只能处理一些简单的代码,且处理过程需要人工参与,不能自动化处理.为此,提出一种C源代码级别自动化的函数提取方法(CCodeExtractor),它通过指定提取条件,在保证语义一致的前提下,将符合条件的代码片段自动分离成一个单独的函数,并将其放到新文件中,而原代码片段替换成了一个函数调用.为了验证CCodeExtractor的有效性,结合循环分析和优化在实际应用中的广泛应用,在LLVM上实现了一个提取循环的工具,将程序中满足条件的for循环封装成单独的函数.在实验中,使用该工具对6个不同规模的程序进行了测试并且对比了变换前后程序运行的结果.实验结果表明,CCodeExtractor代码提取方法在保证程序语义不变的前提下,适用于不同规模的程序.

关键词：C程序重构、程序变换、程序理解、代码提取、循环分析、LLVM

所属期刊栏目：44

分类号：TP311(计算技术、计算机技术)

资助基金：国家863高技术研究发展计划项目基金2012AA010901;国家自然科学基金61170018

在线出版日期：2017-05-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：16-20,29