An approach to analyzing recursive programs with exception handling constructs

  • Authors:

  • Shujuan Jiang;Baowen Xu;Liang Shi

  • Affiliations:

  • Southeast University, Nanjing, China and Jiangsu Institute of Software Quality, Nanjing, China and China University of Mining & Technology, Xuzhou, China;Southeast University, Nanjing, China and Jiangsu Institute of Software Quality, Nanjing, China and National University of Defense Technology, Changsha, China;Southeast University, Nanjing, China and Jiangsu Institute of Software Quality, Nanjing, China

  • Venue:
  • ACM SIGPLAN Notices
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

Exception handling in modern programming languages is a mechanism that can improve software reliability. Since the signature of an C++ function may not specify the set of exceptions that the function can propagate, it is necessary to figure out the exceptions that may be raised during executing program, the origins of them and their propagation paths. Unfortunately, in large programs that contain recursive functions, this exceptional information can be difficult, if not impossible, to determine. Therefore, the paper proposes a new static analysis approach to analyze C++ recursive functions with exception handling constructs. Firstly, it presents a model that can describe the exception handling information for a C++ single function. Then, it proposes a new method to compute the set of exception types that propagate from a recursive function. Finally, the limitations and the applications of the model are discussed.