Tracking down Exceptions in Standard ML Programs

We describe our experience with an exception analysis tool for Standard ML. Information about exceptions gathered by the analysis is visualized using PAM, a program visualization tool for EMACS. We study the results of the analysis of three well-known programs, classifying exceptions as assertion failures, error exceptions, control-flow exceptions, and pervasive exceptions. Even though the analysis is often conservative and reports many spurious exceptions, we have found it useful for checking the consistency of error and control-flow exceptions. Furthermore, using our tools, we have uncovered two minor exception-related bugs in the three programs we scrutinized.

ucbcs996.pdf
PDF file

Details

TypeTechReport
NumberUCB//CSD-96-996
InstitutionUniversity of California, Berkeley
> Publications > Tracking down Exceptions in Standard ML Programs