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