デバッグ情報を用いたC++用コールグラフ生成系軽量なバイナリレベル型解析による仮想関数呼び出しの検出

摘要

デバッグ情報はCASEツールにとって魅力的な情報を含んでいる．本論文では軽量なバイナリレベルの型解析による仮想関数の検出手法を提案するとともに，DWARF2デバッグ情報を利用したC++用静的コールグラフ生成系dcggを実装した．dcggはC++において重要なインライン展開と仮想関数を検出し，予備評価において精度のよいコールグラフを生成した．