講演名 | 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 |
発行日 |