Full-Text Search:
Home|About CNKI|User Service|中文
Add to Favorite Get Latest Update

An Approach to Static Analysis of Exception Handling in C~(++)

JIANG Shu-Juan~(1,2) XU Bao-Wen~1 SHI Liang~1 XIAO Yang~2(Department of Computer Science & Engineering,Southeast University,Nanjing 210096) 1(School of Computer Science & Technology,China University of Mining & Technology,Xuzhou 221008) 2  
Exception handling in modern programming languages is a mechanism that can improve software robustness. Since the signature of an C~(++) function may not specify the set of exceptions that the function can propagate,it is neces- sary to figure out the exceptions that may be raised during executing program,the origins of the exceptions and their exception propagation paths.Unfortunately,in large programs,this exceptional information can be difficult,if not im- possible,to determine.Firstly,the paper presents a model that can describe the exception handling information for C~(++) exception handling mechanism,and applies the model to recursive functions.Then describes CETool,a static a- nalysis tool we have developed to provide exception-flow information for C~(+1) systems based on this model.The CETool provides the information related to the explicit exceptions.The information is helpful to support the improvements to the exception handling structure of a system and structure testing of a program.It also presents the implementation of CETool and its application.
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
©CNKI All Rights Reserved