软件维护中基于异常处理结构的别名分析技术

doi:10.3969/j.issn.1001-2400.2011.01.010

J4 ›› 2011, Vol. 38 ›› Issue (1): 59-65.doi: 10.3969/j.issn.1001-2400.2011.01.010

软件维护中基于异常处理结构的别名分析技术

王黎明;陈科;许琳;张中宝;刘坚;陈平

(西安电子科技大学软件工程研究所，陕西西安 710071)

收稿日期:2009-12-21 出版日期:2011-02-20 发布日期:2011-04-08
通讯作者: 王黎明
作者简介:王黎明(1982-)，男，讲师，博士，E-mail: wanglm@mail.xidian.edu.cn．
基金资助:
国家自然科学基金资助项目(60903108)

Exception handling based alias analysis technique in software maintenance

WANG Liming;CHEN Ke;XU Lin;ZHANG Zhongbao;LIU Jian;CHEN Ping

(Research Inst. of Software Engineering, Xidian Univ., Xi'an 710071， China)

Received:2009-12-21 Online:2011-02-20 Published:2011-04-08
Contact: WANG Liming

摘要/Abstract

摘要：

针对面向对象软件维护中的纠错性维护问题，提出了一种新的别名分析技术．通过扩展传统的控制流图，实现了对程序中的异常处理结构的分析．在扩展控制流图基础上，将别名分析过程划分为流敏感的类内分析和基于需求的类间分析两个阶段，实现了全系统的完整别名分析，从而提高了对包含异常处理结构的程序进行错误诊断的效率．

关键词: 软件维护, 别名分析, 异常处理, 控制流图

Abstract:

For the error diagnosis problem in object-oriented software maintenance, this paper proposes a novel alias analysis technique. By extending the control flow graph of a program, exception handling structures are analyzed. Based on the extended control flow graph, the process of alias analysis is divided into two phases, flow sensitive intra-class analysis and requirements based inter-class analysis, to achieve a complete alias analysis of the whole system, and effectively improves the efficiency of error diagnosis for programs which contain exception handling structures.

Key words: software maintenance, alias analysis, exception handling, control flow graph

王黎明;陈科;许琳;张中宝;刘坚;陈平. 软件维护中基于异常处理结构的别名分析技术[J]. J4, 2011, 38(1): 59-65.

WANG Liming;CHEN Ke;XU Lin;ZHANG Zhongbao;LIU Jian;CHEN Ping. Exception handling based alias analysis technique in software maintenance[J]. J4, 2011, 38(1): 59-65.

参考文献

[1] 阳小奇, 刘坚. 一种基于契约的跨过程安全分析方法[J]. 西安电子科技大学学报, 2006, 33(3):390-394.
Yang Xiaoqi, Liu Jian. A Contract-based Interprocedural Safety Analysis Method.[J]. Journal of Xidian University, 2006, 33(3):390-394.
[2] Kahlon V. Bootstrapping: a Technique for Scalable Flow and Context Sensitive Pointer Alias Analysis[C/OL]. [2009-05-12]. http://userweb.cs.utexas.edu/～kahlon/papers/pldi08.ps.
[3] Woo J W, Gaudiot J L, Wendelborn A L. Alias Analysis in Java with Reference-Set Representation for High-Performance Computing [J]. International Journal of Parallel Programming, 2004, 32(1): 39-76.
[4] Burke M, Carini P R, Choi J D. Interprocedural Pointer Alias Analysis [R/OL]. [2009-05-12]. http://www.research.ibm.com/people/h/hind/RC21055.PS.
[5] Ohata F, Inoue K. JAAT: Java Alias Analysis Tool for Program Maintenance Activities[C/OL]. [2009-05-12]. http://www.computer.org/portal/web/csdl/doi/10.1109/ISORC.2006.43.
[6] Emami M. A Practical Inter-procedural Alias Analysis for an Ptimizing/Paralleling Compiler [D]. Montreal: School of Computer Science, McGill University, 1993.
[7] Sinha S, Harrold M J. Analysis and Testing of Programs with Exception Handling Constructs [J]. IEEE Trans on Software Engineering, 2000, 26(9):849-871.
[8] Pfleeger S L, Atlee J M. Software Engineering: Theory and Practice [M]. 3rd Ed. New Jersey: Prentice Hall, 2006.
[9] Xin Zheng, Rugina. Demand Driven Alias Analysis for C[C/OL]. [2009-05-12]. http://www.cs.cornell.edu/～rugina/papers/popl08.pdf.
[10] Hardekopf B, Lin C. Exploiting Pointer and Location Equivalence to Optimize Pointer Analysis [C/OL]. [2009-05-12].
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.127.998＆rep=rep1＆type=pdf.
[11] Zhu Jianwen, Silvian C. Symbolic Pointer Analysis Revisited [C/OL]. [2009-05-12]. http://portal.acm.org/citation.cfm?id=996860.
[12] Hardekopf B, Lin C. Semi-sparse Flow Sensitive Pointer Analysis [C/OL]. [2009-05-12]. http://userweb.cs.utexas.edu/～lin/papers/popl09.pdf.
[13] 姜淑娟,徐宝文,史亮. 一种基于异常传播分析的数据流分析方法 [J]. 软件学报, 2007, 18(1): 74-84.
Jiang Shujuan, Xu Baowen, Shi Liang. An Approach of Data-Flow Analysis Based on Exception Propagation Analysis[J]. Journal of Software, 2007, 18(1):74-84.
[14] Chang W, Streiff B, Lin C. Efficient and Extensible Security Enforcement Using Dynamic Data Flow Analysis[C/OL]. [2009-05-12]. http://userweb.cs.utexas.edu/～lin/papers/ccs08.pdf.

软件维护中基于异常处理结构的别名分析技术

Exception handling based alias analysis technique in software maintenance

PDF (PC)

赞

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 0

Metrics

本文评价

推荐阅读 0