Automatic documentation inference for exceptions

@inproceedings{Buse2008AutomaticDI,
  title={Automatic documentation inference for exceptions},
  author={Raymond P. L. Buse and Westley Weimer},
  booktitle={ISSTA},
  year={2008}
}
Exception handling is a powerful and widely-used programming language abstraction for constructing robust software systems. Unfortunately, it introduces an inter-procedural flow of control that can be difficult to reason about. Failure to do so correctly can lead to security vulnerabilities, breaches of API encapsulation, and any number of safety policy violations. We present a fully automated tool that statically infers and characterizes exception-causing conditions in Java programs. Our tool… CONTINUE READING

5 Figures & Tables

Topics

Statistics

0510152009201020112012201320142015201620172018
Citations per Year

97 Citations

Semantic Scholar estimates that this publication has 97 citations based on the available data.

See our FAQ for additional information.