您当前所在位置: 首页 > 首发论文
动态公开评议须知

1. 评议人本着自愿的原则,秉持科学严谨的态度,从论文的科学性、创新性、表述性等方面给予客观公正的学术评价,亦可对研究提出改进方案或下一步发展的建议。

2. 论文若有勘误表、修改稿等更新的版本,建议评议人针对最新版本的论文进行同行评议。

3. 每位评议人对每篇论文有且仅有一次评议机会,评议结果将完全公示于网站上,一旦发布,不可更改、不可撤回,因此,在给予评议时请慎重考虑,认真对待,准确表述。

4. 同行评议仅限于学术范围内的合理讨论,评议人需承诺此次评议不存在利益往来、同行竞争、学术偏见等行为,不可进行任何人身攻击或恶意评价,一旦发现有不当评议的行为,评议结果将被撤销,并收回评审人的权限,此外,本站将保留追究责任的权利。

5. 论文所展示的星级为综合评定结果,是根据多位评议人的同行评议结果进行综合计算而得出的。

勘误表

上传勘误表说明

  • 1. 请按本站示例的“勘误表格式”要求,在文本框中编写勘误表;
  • 2. 本站只保留一版勘误表,每重新上传一次,即会覆盖之前的版本;
  • 3. 本站只针对原稿进行勘误,修改稿发布后,不可对原稿及修改稿再作勘误。

示例:

勘误表

上传勘误表说明

  • 1. 请按本站示例的“勘误表格式”要求,在文本框中编写勘误表;
  • 2. 本站只保留一版勘误表,每重新上传一次,即会覆盖之前的版本;
  • 3. 本站只针对原稿进行勘误,修改稿发布后,不可对原稿及修改稿再作勘误。

示例:

上传后印本

( 请提交PDF文档 )

* 后印本是指作者提交给期刊的预印本,经过同行评议和期刊的编辑后发表在正式期刊上的论文版本。作者自愿上传,上传前请查询出版商所允许的延缓公示的政策,若因此产生纠纷,本站概不负责。

发邮件给 王小芳

收件人:

收件人邮箱:

发件人邮箱:

发送内容:

0/300

论文收录信息

论文编号 201802-58
论文题目 IRDiff:基于LLVM中间表示的代码差异分析
文献类型
收录
期刊

上传封面

期刊名称(中文)

期刊名称(英文)

年, 卷(

上传封面

书名(中文)

书名(英文)

出版地

出版社

出版年

上传封面

书名(中文)

书名(英文)

出版地

出版社

出版年

上传封面

编者.论文集名称(中文) [c].

出版地 出版社 出版年-

编者.论文集名称(英文) [c].

出版地出版社 出版年-

上传封面

期刊名称(中文)

期刊名称(英文)

日期--

在线地址http://

上传封面

文题(中文)

文题(英文)

出版地

出版社,出版日期--

上传封面

文题(中文)

文题(英文)

出版地

出版社,出版日期--

英文作者写法:

中外文作者均姓前名后,姓大写,名的第一个字母大写,姓全称写出,名可只写第一个字母,其后不加实心圆点“.”,

作者之间用逗号“,”分隔,最后为实心圆点“.”,

示例1:原姓名写法:Albert Einstein,编入参考文献时写法:Einstein A.

示例2:原姓名写法:李时珍;编入参考文献时写法:LI S Z.

示例3:YELLAND R L,JONES S C,EASTON K S,et al.

上传修改稿说明:

1.修改稿的作者顺序及单位须与原文一致;

2.修改稿上传成功后,请勿上传相同内容的论文;

3.修改稿中必须要有相应的修改标记,如高亮修改内容,添加文字说明等,否则将作退稿处理。

4.请选择DOC或Latex中的一种文件格式上传。

上传doc论文   请上传模板编辑的DOC文件

上传latex论文

* 上传模板导出的pdf论文文件(须含页眉)

* 上传模板编辑的tex文件

回复成功!


  • 0

IRDiff:基于LLVM中间表示的代码差异分析

首发时间:2018-02-09

胡文颖 1   

胡文颖(1993-),女,研究生,主要研究方向:可信软件,智能系统

梁洪亮 1   

梁洪亮(1972-),男,副教授、硕导,主要研究方向:可信系统,智能软件

  • 1、北京邮电大学计算机学院,北京,100876

摘要:代码差异分析是多版本程序分析领域中重要的研究问题之一。已有的工作,包括基于代码行的比较或基于抽象语法树的代码分析,往往会受到代码移动的影响,使得对比过程中,由于对比代码的错位而导致差异分析的不精确。本文提出一种基于LLVM中间表示语言的源代码差异分析算法。该算法首先将待比较程序的两个版本的源代码转换成LLVM中间表示语言,利用LLVM中间表示的语法结构、控制流以及数据流信息,在程序两个版本的控制流图上寻找同构节点,得到一系列同构子图以及差异节点集合,从而得到程序两个版本间的代码差异。利用中间表示语言的层次化结构特性以及控制流信息,能够避免因代码移动导致的对比代码错位问题,并且结合控制依赖、数据依赖以及类型信息,可以提高代码差异分析的准确性。基于该算法,我们实现了一个代码差异分析工具IRDiff,并使用SIR 程序集进行实验评估,实验表明该工具可以较好地分析C/C++程序不同版本之间的代码差异。

关键词: 代码演化分析 源代码差异 控制流图 中间表示 程序理解

For information in English, please click here

IRDiff:Source Code Differencing based on LLVM IR

Hu Wenying 1   

胡文颖(1993-),女,研究生,主要研究方向:可信软件,智能系统

Liang Hongliang 1   

梁洪亮(1972-),男,副教授、硕导,主要研究方向:可信系统,智能软件

  • 1、Computer School, Beijing University of Posts and Telecommunications, Beijing 100876

Abstract:Abstract: Source Code differencing is one of the most important research issues in multi-version program analysis. Existing work, including text differencing or abstract syntax tree-based code analysis, is often affected by code movement, making the comparison inaccurate due to the misalignment of the code. This paper proposed a new approach of source code difference analysis based on LLVM intermediate representation language (LLVM IR). The two versions of the source code are as input transformed to the LLVM IR. Then based on the syntax structure, control flow and data flow information represented by LLVM IR to find the isomorphic nodes in the two versions of the control flow graph. A series of isomorphic sub-graphs and a set of difference nodes are obtained, and the code difference between two versions of the program is obtained. By using LLVM IR\'s hierarchical structure and control flow information, the problem of code misalignment caused by code movement can be avoided, and the accuracy of code variance analysis can be improved by combining control dependency, data dependence and type information, etc. Based on this algorithm, we implemented a code variance analysis tool, called IRDiff, and used the SIR benchmark for experimental evaluation. Experiments show that the tool can better analyze the code differences between different versions of C / C ++ programs.

Keywords: source evolution analysis control flow graph program comprehension graph differencing intermediate

Click to fold

点击收起

基金:

论文图表:

引用

导出参考文献

.txt .ris .doc
胡文颖,梁洪亮. IRDiff:基于LLVM中间表示的代码差异分析[EB/OL]. 北京:中国科技论文在线 [2018-02-09]. http://www.paper.edu.cn/releasepaper/content/201802-58.

No.****

动态公开评议

共计0人参与

动态评论进行中

评论

全部评论

0/1000

勘误表

IRDiff:基于LLVM中间表示的代码差异分析