|
|||||
|
|
| 一个异常传播分析工具的设计与实现 | |
| 引用本文： | 姜淑娟,徐宝文,姜元鹏.一个异常传播分析工具的设计与实现[J].计算机科学,2008,35(7):277-279. |
| 作者姓名： | 姜淑娟 徐宝文 姜元鹏 |
| 作者单位： | 1. 中国矿业大学计算机科学与技术学院,徐州221116 2. 东南大学计算机科学与工程学院,南京210096 3. 中国矿业大学图书馆,徐州221116 |
| 基金项目： | 国家自然科学基金，江苏省高技术研究发展计划项目，中国矿业大学校科研和教改项目 |
| 摘 要： | 异常处理是一种用来检测异常并对其进行处理的技术,异常传播改变程序原来的执行路线,从而可能改变程序中的数据流、控制流和各种成分的依赖关系.在进行程序分析时,如果不考虑异常传播对其造成的影响,则得到的信息将是不准确的.本文设计并实现了一个分析C 程序中异常传播分析工具CETool.该工具可以有效地分析C 程序的异常传播,它既可以获得异常处理结构的局部信息,也可以获得异常处理结构的全局信息,这对于有效地分析异常的传播,分析异常传播路径,以及改进异常处理结构都有很大的帮助. |
| 关 键 词： | 异常处理 程序分析 异常传播 设计与实现 |
Design and Implementation of a Exception Propagation Analysis Tool |
|
| JIANG Shu-juan,XU Bao-wen,JIANG Yuan-peng.Design and Implementation of a Exception Propagation Analysis Tool[J].Computer Science,2008,35(7):277-279. | |
| Authors: | JIANG Shu-juan XU Bao-wen JIANG Yuan-peng |
| Affiliation: | JIANG Shu-juan1 XU Bao-wen2 JIANG Yuan-peng3(School of Computer Science & Technology,China University of Mining & Technology,Xuzhou 221116,China)1 (School of Computer Science & Engineering,Southeast University,Nanjing 210096,China)2 (Library,China)3 |
| Abstract: | Exception handling is a technology that tests and handles exception.Exception propagation induces a control flow other than the main control flow,so it changes the data flows,control flows of programs and the dependence relationshi Pbetween the structure elements of programs.For the analysis of C++ programs to be correct and precise,the flows induced by exception propagation must be properly analyzed.The paper describes the design and implementation of the CETool,an exception propagation analysis tool we ha... |
| Keywords: | Exception handling Program analysis Exception propagation Design and implementation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《计算机科学》浏览原始摘要信息 | |
| 点击此处可从《计算机科学》下载全文 | |