講演名 2006-08-03
デバッグ情報を用いたC++用コールグラフ生成系 : 軽量なバイナリレベル型解析による仮想関数呼び出しの検出
寺島 有為, 権藤 克彦,
PDFダウンロードページ PDFダウンロードページへ
抄録(和) デバッグ情報はCASEツールにとって魅力的な情報を含んでいる.本論文では軽量なバイナリレベルの型解析による仮想関数の検出手法を提案するとともに,DWARF2デバッグ情報を利用したC++用静的コールグラフ生成系dcggを実装した.dcggはC++において重要なインライン展開と仮想関数を検出し,予備評価において精度のよいコールグラフを生成した.
抄録(英) Debugging information contains attractive information for CASE tools. In this paper, we propose an idea to detect virtual functions by light-weight binary-level type analysis and implement a new tool dcgg that statically generates call-graphs for C++ using DWARF2 debugging information, dcgg can detect inline expansion and virtual functions which are important in C++ programs. In a preliminary evaluation dcgg generated precise call-graphs.
キーワード(和) デバッグ情報 / コールグラフ / C++ / 仮想関数 / バイナリ解析
キーワード(英) debug information / call-graph / C++ / virtual function / binary analysis
資料番号 SS2006-27
発行日

研究会情報
研究会 SS
開催期間 2006/7/27(から1日開催)
開催地(和)
開催地(英)
テーマ(和)
テーマ(英)
委員長氏名(和)
委員長氏名(英)
副委員長氏名(和)
副委員長氏名(英)
幹事氏名(和)
幹事氏名(英)
幹事補佐氏名(和)
幹事補佐氏名(英)

講演論文情報詳細
申込み研究会 Software Science (SS)
本文の言語 JPN
タイトル(和) デバッグ情報を用いたC++用コールグラフ生成系 : 軽量なバイナリレベル型解析による仮想関数呼び出しの検出
サブタイトル(和)
タイトル(英) Static call-graph generator for C++ using debugging information : Detecting virtual function calls by light-weight binary-level type analysis
サブタイトル(和)
キーワード(1)(和/英) デバッグ情報 / debug information
キーワード(2)(和/英) コールグラフ / call-graph
キーワード(3)(和/英) C++ / C++
キーワード(4)(和/英) 仮想関数 / virtual function
キーワード(5)(和/英) バイナリ解析 / binary analysis
第 1 著者 氏名(和/英) 寺島 有為 / Yui TERASHIMA
第 1 著者 所属(和/英) 東京工業大学計算工学専攻
Dept. of Computer Science, Tokyo Instinute of Technology
第 2 著者 氏名(和/英) 権藤 克彦 / Katsuhiko GONDOW
第 2 著者 所属(和/英) 東京工業大学計算工学専攻
Dept. of Computer Science, Tokyo Instinute of Technology
発表年月日 2006-08-03
資料番号 SS2006-27
巻番号(vol) vol.106
号番号(no) 201
ページ範囲 pp.-
ページ数 6
発行日