… Exception analysis and points-to analysis are typically done in complete separation. Past algorithms for precise exception analysis (e.g., pairing throw …-to analyses either unsoundly ignore exceptions, or conservatively compute a crude …
ISSTA 2009: 1-12 [doi]