Analyzing Exception Flow in Java Programs

9/28/99


Click here to start


Table of Contents

Analyzing Exception Flow in Java Programs

Reading a Buffer

Catching IOException

Plan of the Talk

Reasoning about Exceptions

Help from the Compiler?

Subsumption in Java Code

Jex Tool Requirements

Using Jex

A Jex File

Determining Method Bindings

Obtaining the Exceptions Raised by a Method Call

Evaluation

Qualitative Benefits of Jex

Unanticipated Exceptions

Detecting Potentially Irregular Exception Handling Code

Jex Information Dangerous?

Information Content

Limits to the Precision of Jex

In Conclusion

 Author: Software Engineering Group

Email: mrobilla@cs.ubc.ca

Home Page: http://www.cs.ubc.ca/spider/mrobilla