Abstract: Exception handling in modem 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 necessary to figure out the excepti

Key words: Exception handling, Static analysis, Exception propagation, Structure testing