基于源码变更分析的程序中间代码生成技术

• 作者: 陈雨亭 黄海汇
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: 源码变更 中间代码生成 标记
• 年，卷（期）: 2016,（6）
• 所属期刊栏目: 应用与开发
• 页码范围: 19-23,28
• 页数: 6页
• 分类号: TP311
• 字数: 4645字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2016.06.005

摘要

当前存在很多针对程序中间代码变更进行的程序增量分析、验证技术.为更有效地在实际中应用这些技术,如何获取程序中间代码的变更信息成为一个关键研究问题.本文主要研究通过提取源码的变更,将源码变更映射至中间代码变更的新的程序中间代码生成技术IRChange.IRChange基于Clang和LLVM中间代码,在源码中添加标记,在程序编译过程中传递变更标记;进一步地,将变更前中间代码与变更标记进行合成,以生成新的中间代码.实验结果表明,本文所获取的带增量信息的中间代码不仅具有较高正确性,且可以用于中间代码的差异分析,为增量程序分析、验证提供便利.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈雨亭	上海交通大学计算机科学与工程系	9	17	2.0	4.0
2	黄海汇	上海交通大学软件学院	1	0	0.0	0.0