Design and implementation of precise C language CASE tools based on binary-level lightweight data integration

• Project/Area Number: 17500019
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Single-year Grants
• Section: 一般
• Research Field: Software
• Research Institution: Tokyo Institute of Technology
• Principal Investigator: GONDO Katsuhiko Tokyo Institute of Technology, 大学院・情報理工学研究科, 准教授 (50262283)
• Project Period (FY): 2005 – 2008
• Project Status: Completed (Fiscal Year 2008)
• Budget Amount: ¥4,210,000 (Direct Cost: ¥3,700,000、Indirect Cost: ¥510,000); Fiscal Year 2008: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000); Fiscal Year 2007: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000); Fiscal Year 2006: ¥900,000 (Direct Cost: ¥900,000); Fiscal Year 2005: ¥1,100,000 (Direct Cost: ¥1,100,000)
• Keywords: CASE ツール / XML / ANSI C / バイナリレベル / データ統合 / CASEツール / 追跡性 / C前処理系 / データ競合

Research Abstract

現代社会を支える基盤ソフトウェアの障害を少なくする新しい手法として, 本研究ではバイナリレベル軽量データ統合という方式を提案した.デバッグ情報DWARF2などバイナリ中のデータを解析した結果をXML形式で格納するツール群を実装・評価してよい結果を得た. また, この方式を発展させたり ,欠点を補うために, 識別子データマイニング, C前処理系解析ツール, データ競合検出ツールなども開発し, 良い結果を得た.

Research Products

• [Journal Article] TBCppA : 追跡子を用いたC 前処理系解析器 (2008)
  • Author(s): 権藤克彦, 川島勇人, 今泉貴史
  • Journal Title: コンピュータソフトウェア 25-1 Pages: 105-123
  • NAID: 130004549093
  • Peer Reviewed
• [Journal Article] DRACULA : シグナルによるデータ競合の検出ツール (2008)
  • Author(s): 田原貴光, 権藤克彦
  • Journal Title: 電子情報通信学会論文誌 J91-D[2] Pages: 449-458
  • NAID: 110007385927
  • Peer Reviewed
• [Journal Article] TBCppA : 追跡子を用いたC前処理系解析器 (2008)
  • Author(s): 権藤克彦, 川島勇人, 今泉貴史
  • Journal Title: コンピュータソフトウェア 25-1 Pages: 105-123
  • NAID: 130004549093
  • Peer Reviewed
• [Journal Article] プログラム理解を支援するコンセプトキーワードの自動抽出法ckTF/IDF法の提案 (2007)
  • Author(s): 大場勝, 権藤克彦
  • Journal Title: 情報処理学会論文誌 48-8 Pages: 2596-2607
  • NAID: 110006386491
  • Peer Reviewed
• [Journal Article] 中レベル抽象・薄い中間層・追跡性の実践によるコンパクトな教育用オペレーティングシステムudosの設計と実装 (2007)
  • Author(s): 権藤克彦, 大場勝
  • Journal Title: 電子情報通信学会論文誌 J90-D[5] Pages: 1194-1208
  • NAID: 110007380713
  • Peer Reviewed
• [Journal Article] プログラム理解のための実装レベル制約とソースコード間の追跡性の整理保存法 (2007)
  • Author(s): 大場勝, 権藤克彦
  • Journal Title: 電子情報通信学会論文誌 J90-D[6] Pages: 1445-1461
  • NAID: 110007380739
  • Peer Reviewed
• [Journal Article] プログラム理解を支援するコンセプトキーワードの自動抽出法ckTF/IDF法の提案 (2007)
  • Author(s): 大場勝, 権藤克彦
  • Journal Title: 情報処理学会論文誌 第48巻 第8号 Pages: 2596-2607
  • NAID: 110006386491
  • Peer Reviewed
• [Journal Article] 中レべル抽象・薄い中間層・追跡性の実践によるコンノぐクトな教育用オペレーティングシステムudosの設計と実装 (2007)
  • Author(s): 権藤克彦, 大場勝
  • Journal Title: 電子情報通信学会論文誌 J86-D-1 (採録済み、掲載決定)
• [Journal Article] プログラム理解のための実装レべル制約とソースコード間の追跡性の整理保存法 (2007)
  • Author(s): 大場勝, 権藤克彦
  • Journal Title: 電子情報通信学会論文誌 J86-D-1 (採録済み、掲載決定)
• [Journal Article] Implementation of Reversible Debugger Using Incremental Checkpoints (2007)
  • Author(s): Sushil Shrestha, Katsuhiko Gondow
  • Journal Title: 第9回プログラミングおよびプログラミング言語ワークショップ (PPL2007)
• [Journal Article] C言語用CASEツールへのDWARF2デバッグ情報の応用 (2006)
  • Author(s): 権藤克彦, 鈴木朝也, 川島勇人
  • Journal Title: コンピュータソフトウェア 23-2 Pages: 175-198
  • NAID: 130004892056
  • Peer Reviewed
• [Journal Article] Maintaining Traceability Links between Implementation-level Restrictions and Source Code for Program Understanding (2006)
  • Author(s): M.Ohba, K.Gondow
  • Journal Title: 10th IASTED Int. Conf. Software Engineering and Applications (SEA 2006) Pages: 514-146
• [Journal Article] TBCppA : 追跡子を用いたC前処理系解析器 (2006)
  • Author(s): 権藤克彦, 川島勇人
  • Journal Title: 第13回ソフトウニア工学の基礎ワークショップ(FOSE2006) Pages: 9-18
  • NAID: 130004549093
• [Journal Article] デバッグ情報を用いたC++用コールグラフ生成系 軽量なバイナリレべル型解析による仮想関数呼び出しの検出 (2006)
  • Author(s): 寺島有為, 権藤克彦
  • Journal Title: 電気情報通信学会技術研究報告 信学技報 Vol.106,No.201 Pages: 13-18
• [Journal Article] C言語用CASEツールへのDWARF2デバッグ情報の応用 (2006)
  • Author(s): 権藤克彦, 鈴木朝也, 川島勇人
  • Journal Title: コンピュータソフトウェア 23・2(採録済み掲載決定)
  • NAID: 130004892056
• [Journal Article] Toward Mining "Concept Keywords" from Identifiers in Large Software Projects (2005)
  • Author(s): M.Ohba, K.Gondow
  • Journal Title: Int'1.Workshop on Mining Software Repositories(MSR2005), Pages: 48-52
• [Journal Article] プログラム理解に役立つ識別子からのコンセプトキーワード抽出法 (2005)
  • Author(s): 大場勝, 権藤克彦
  • Journal Title: 電気情報通信学会技術研究報告 信学技報 105・25 Pages: 25-30
  • NAID: 110003277341
• [Journal Article] アスペクト指向文書整理法を用いたプログラム理解ツールの紹介 (2005)
  • Author(s): 大場勝, 権藤克彦
  • Journal Title: 組み込みソフトウェアシンポジウム(ESS2005) Pages: 174-175
• [Presentation] DRACULA : Detector of Data Races in SignalsHandlers (2008)
  • Author(s): T. Tahara, K. Gondow, S. Ohsuga
  • Organizer: 15th Asia-Pacific Software Engineering Conference (APSEC2008)
  • Place of Presentation: 中国・北京
  • Year and Date: 2008-12-03
• [Presentation] DRACULA : Detector of Data Races in Signals Handlers (2008)
  • Author(s): T. Tahara, K. Gondow, S. Ohsuga
  • Organizer: 15th Asia-Pacific Software Engineering Conference(AI)SEC2008)
  • Place of Presentation: 中国・北京
  • Year and Date: 2008-12-03
• [Presentation] TBCppA : a Tracer Approach for Automatic Accurate Analysis of C Preprocessor's Behaviors (2008)
  • Author(s): K. Gondow, H. Kawashima, T. Imaizumi
  • Organizer: 8th IEEE Int. Working Conf. on Source Code Analysis and Manipulation (SCAM2008)
  • Place of Presentation: 中国・北京
  • Year and Date: 2008-09-28
• [Presentation] Static Call Graph Generator for C++ using Debugging Information (2007)
  • Author(s): Y. Terashima, K. Gondow
  • Organizer: 14th Asia-Pacific Software Engineering Conference (APSEC2007), IEEE Computer Society Press
  • Place of Presentation: 愛知県名古屋市
  • Year and Date: 2007-12-05
• [Presentation] Static Call Graph Generator for C++ using Debugging Information (2007)
  • Author(s): Y. Terashima, K. Gondow
  • Organizer: 14th Asia-Pacific Software Engineering Conference (APSEC), IEEE Computer Society Press
  • Place of Presentation: 愛知県名古屋市
  • Year and Date: 2007-12-05
• [Presentation] 事例研究:ツール「簡単#include検査君」 (2007)
  • Author(s): 権藤克彦, 冨永和人
  • Organizer: 日本ソフトウェア科学会, 第14回ソフトウェア工学の基礎ワークショップ(FOSE2007),
  • Place of Presentation: 山口県下関市
  • Year and Date: 2007-11-09
• [Presentation] Maintaining Traceability Links between Implementation-level Restrictions and Source Code for Program Understanding (2006)
  • Author(s): M. Ohba, K. Gondow
  • Organizer: 10th IASTED Int. Conf. Software Engineering and Applications (SEA2006)
  • Place of Presentation: Dallas, TX, USA(page-no.514-146)
  • Year and Date: 2006-11-13
• [Presentation] Toward Mining "Concept Keywords" from Identifiers in Large Software Projects (2005)
  • Author(s): M. Ohba, K. Gondow
  • Organizer: Int'l. Workshop on Mining Software Repositories (MSR2005)
  • Place of Presentation: St. Louis, Missouri, USA(48-52)
  • Year and Date: 2005-05-17
• [Book] ピアソンエデュケーション (2007)
  • Author(s): 冨永和人, 権藤克彦
  • Total Pages: 472
  • Publisher: 例解UNIXプログラミング教室
• [Book] 例解UNIXプログラミング教室 (2007)
  • Author(s): 冨永和人, 権藤克彦
  • Total Pages: 472
  • Publisher: ピアソンエデュケーション
• [Remarks]
  • URL: http://www.sde.cs.titech.ac.jp/~gondow/dwarf2-xml/
• [Remarks]
  • URL: http://www.sde.cs.titech.ac.jp/~gondow/TBCppA/