Exception analysis and points-to analysis: better together

  title={Exception analysis and points-to analysis: better together},
  author={Martin Bravenboer and Yannis Smaragdakis},
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


Publications citing this paper.


Publications referenced by this paper.

Similar Papers

Loading similar papers…