Exception analysis and points-to analysis: better together

@inproceedings{Bravenboer2009ExceptionAA,
  title={Exception analysis and points-to analysis: better together},
  author={Martin Bravenboer and Yannis Smaragdakis},
  booktitle={ISSTA},
  year={2009}
}
Exception analysis and points-to analysis are typically done in complete separation. Past algorithms for precise exception analysis (e.g., pairing throw clauses with catch statements) use pre-computed points-to information. Past points-to analyses either unsoundly ignore exceptions, or conservatively compute a crude approximation of exception throwing (e.g., considering an exception throw as an assignment to a global variable, accessible from any catch clause). We show that this separation… CONTINUE READING
Highly Cited
This paper has 44 citations. REVIEW CITATIONS

Citations

Publications citing this paper.

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…