Control-Flow Analysis of Programs with Exception-Handling Constructs
例外処理の制御フローグラフの話。一応 Java が対象になっているけど、Java みたいな例外処理機構を持つ言語ならおおよそ適用できそう。メソッドごとにグラフを構築して呼び出し関係に基づいて接続する。finally の扱いが面倒で、正常系で実行する場合と例外を抱えて実行する場合を区別してグラフを作る。
author="Saurabh Sinha and Mary Jean Harrold",
title="{Control-Flow Analysis of Programs with Exception-Handling Constructs}",
institution="The Ohio State University",
year="1998"