Approach of Statically Detecting C++ Exception Safety

ZHANG Yan-chun,LIU Jian
DOI: https://doi.org/10.3321/j.issn:1002-8331.2006.27.027
2006-01-01
Computer Engineering and Applications Journal
Abstract:As an exception handling mechanism of C++ Language,exception has provided much advantage in C++ programming.Proper use of exception can improve robustness of program;otherwise it may lead to worse executing efficiency and even corrupt the program.This paper analyzes exception representation in C++ program and gives the classification of exception holes,in terms of which exception safety rules are constructed,and presents an approach of interprocedural bottom-up communicating of info and intraprocedural syntax-directed translation,which accomplishes statically detecting of C++ exception safety.
What problem does this paper attempt to address?