Many programming languages provide exceptions as a structured way for detecting and recovering from abnormal conditions. However, using exceptions properly is non-trivial. Programmers are often careless when handling exceptions, and exception related mistakes are common in software products. We present a technique for verifying that exceptions are used in a safe way. This technique integrates static analysis with model checking to visit all possible exception-raising execution paths. To demonstrate the potential utility of our approach, we applied it to two open source Java applications. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Li, X., James Hoover, H., & Rudnicki, P. (2006). Towards automatic exception safety verification. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4085 LNCS, pp. 396–411). Springer Verlag. https://doi.org/10.1007/11813040_27
Mendeley helps you to discover research relevant for your work.