基于LLVM的程序关注点影响分析

计算机与现代化

基于LLVM的程序关注点影响分析

上海交通大学软件学院，上海200240

收稿日期:2013-12-12 出版日期:2014-04-17 发布日期:2014-04-23
作者简介:作者简介：陈泓旭（1989），男，江苏大丰人，上海交通大学软件学院硕士研究生，研究方向：程序语言分析，软件工程。

LLVMbased Impact Analysis on Program Concerns

School of Software, Shanghai Jiaotong University, Shanghai 200240, China

Received:2013-12-12 Online:2014-04-17 Published:2014-04-23

摘要/Abstract

摘要：

摘要：在LLVM中间形式上，得到影响某特定程序关注点的程序片段，削减不相关部分。基于Andersen指向分析算法构建准确的调用图，得到程序执行中可能到达给定程序节点的基本块；根据指向分析、调用图及调用点处的修改信息，得到了影响关注点的程序片段。实验结果表明，本方法可高效计算出影响程序关注点的程序子集并得到正确的削减片段。



关键词: LLVM中间形式, 影响分析, 可达性分析, 程序切片

Abstract:

Abstract: At LLVM intermediate representation level, we obtained program snippets that have influences on special program concerns and pruned those unrelated parts. By building accurate call graphs based on Andersen’s pointsto analysis, we got the basic blocks that reach the specific program node during execution; with the help of call graph and the modification information, we generated slices affecting the program point. Experimental result shows that this applied approach can compute subset that has impact on the program point efficiently and correctly.

Key words:

Key words: LLVM IR, impact analysis, reachability analysis, program slicing

中图分类号:

TP311

陈泓旭. 基于LLVM的程序关注点影响分析[J]. 计算机与现代化.

CHEN Hongxu. LLVMbased Impact Analysis on Program Concerns[J]. Computer and Modernization.

参考文献

［1］

Cadar C, Dunbar D, Englar D R. KLEE: Unassisted and automatic generation of highcoverage tests for complex system programs［C］// Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation. 2008:209224.

［2］ Chipounov V, Kuznetsov V, Candea G. S2E: A platform for invivo multipath analysis of software systems［C］// Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems. 2011:265278.

［3］ Cui H, Hu G, Wu J, et al. Verifying system rules using ruledirected symbolic execution［C］// Proceedings of the 18th International Conference on Architectural Support for Programming Languages and Operating Systems. 2013:329342. 

［4］ LLVM. The LLVM Compiler Infrastructure［EB/OL］. http://llvm.org/, 20131212.

［5］ Andersen L O. Program Analysis and Specialization for the C Programming Language［D］. University of Copenhagen, DIKU, 1994.

［6］ Steensgaard B. Pointsto analysis in almost linear time［C］// Proceedings of the 23rd ACM SIGPLANSIGACT Symposium on Principles of Programming Languages. 1996:3241.

［7］ Openrefactory. Openrefactory Homepage［EB/OL］. http://openrefactory.org/， 20131212.

［8］ Weiser M. Program slicing［C］// Proceedings of the 5th International Conference on Software Engineering. 1981:439449.

［9］ GNU. GNU Coreutils［EB/OL］. http://www.gnu.org/software/coreutils/, 20131212.

［10］Munawar Hafiz, Auburn A L. OpenRefactory/C: An infrastructure for developing program transformations for C programs［C］// Proceedings of the 3rd Annual Conference on Systems, Programming, and Applications: Software for Humanity. 2012:2728.

［11］Chris Lattner. LLVM: An Infrastructure for MultiStage Optimization［D］. University of Illinois at UrbanaChampaign. 2002.

［12］Susan Horwitz, Thomas Reps, David Binkley. Interprocedural slicing using dependence Graphs［C］// Proceedings of the ACM SIGPLAN 1988 Conference on Programming Language Design and Implementation. 1988:3546.

［13］Frank Tip. A survey of program slicing techniques［J］. Journal of Programming Languages, 1995,3(3):121189.

［14］Agrawal H, Horgan J. Dynamic program slicing［C］//Proceedings of PLDI’90. 1990:246256.

［15］Sridharan M, Fink S J, Bodik R. Thin slicing［C］// Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. 2007:112122.

[1]	朱羿全，沈国华，康达周，廖莉莉. 结合本体和规则推理的SFMEA方法研究[J]. 计算机与现代化, 2015, 0(1): 15-20.
[2]	郑卫东. 基于FMEA的船舶设备故障信息处理系统[J]. 计算机与现代化, 2012, 1(201): 172-177,.