| 講演名 | 2016-11-24 プログラムグラフによるCソースコードの表現と解析 大久保 建男(岩手県立大), 福原 和哉(i-MOS), 猪股 俊光(岩手県立大), 杉野 栄二(岩手県立大), 新井 義和(岩手県立大), 今井 信太郎(岩手県立大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | プログラムグラフは，プログラムに含まれている関数や変数をノードとし，関数どうしの関係，関数と変数の関係，変数どうしの関係らをアークとするグラフ構造である．本論文では，プログラムグラフの形式的な定義を述べるとともに，プログラムグラフを解析することによって，コードレビューや差分開発で必要とされる情報を抽出できることを示す． |
| 抄録(英) | In this paper we present the formal definition and the ability of the Program Graph.Nodes of the Program Graph correspond functions and variables in a C program.And arcs show relations among the nodes.Analyzing the Program Graph, it helps code review and rational developments. |
| キーワード(和) | プログラム解析 / グラフモデル / グラフ表現 / プログラムグラフ |
| キーワード(英) | Program Analysis / Graph Model / Graph Representation / Program Graph |
| 資料番号 | CAS2016-64,MSS2016-44 |
| 発行日 | 2016-11-17 (CAS, MSS) |
| 研究会情報 | |
| 研究会 | MSS / CAS / IPSJ-AL |
|---|---|
| 開催期間 | 2016/11/24(から2日開催) |
| 開催地（和） | 神戸情報大学院大学 |
| 開催地（英） | Kobe Institute of Computing |
| テーマ（和） | グラフ、ペトリネット、ニューラルネット及び一般 |
| テーマ（英） | |
| 委員長氏名（和） | 山根 智(金沢大) / 高橋 俊彦(新潟大) |
| 委員長氏名（英） | Satoshi Yamane(Kanazawa Univ.) / Toshihiko Takahashi(Niigata Univ.) |
| 副委員長氏名（和） | 名嘉村 盛和(琉球大) / 平木 充(ルネサス エレクトロニクス) |
| 副委員長氏名（英） | Morikazu Nakamura(Univ. of Ryukyus) / Mitsuru Hiraki(Renesas) |
| 幹事氏名（和） | 中田 充(山口大) / 豊嶋 伊知郎(東芝) / 越田 俊介(東北大) / 山口 基(ルネサスシステムデザイン) |
| 幹事氏名（英） | Mitsuru Nakata(Yamaguchi Univ.) / Ichiro Toyoshima(Toshiba) / Shunsuke Koshita(Tohoku Univ.) / Motoi Yamaguchi(Renesas) |
| 幹事補佐氏名（和） | 金城 秀樹(沖縄大) / 橘 俊宏(湘南工科大) / 中村 洋平(日立) |
| 幹事補佐氏名（英） | Hideki Kinjo(Okinawa Univ.) / Toshihiro Tachibana(Shonan Inst. of Tech.) / Yohei Nakamura(Hitachi) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Mathematical Systems Science and its applications / Technical Committee on Circuits and Systems / Special Interest Group on Algorithms |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | プログラムグラフによるCソースコードの表現と解析 |
| サブタイトル（和） | |
| タイトル（英） | Representation and analysis of C Source Code by using The Program Graph |
| サブタイトル（和） | |
| キーワード(1)（和/英） | プログラム解析 / Program Analysis |
| キーワード(2)（和/英） | グラフモデル / Graph Model |
| キーワード(3)（和/英） | グラフ表現 / Graph Representation |
| キーワード(4)（和/英） | プログラムグラフ / Program Graph |
| 第 1 著者 氏名（和/英） | 大久保 建男 / Tateo Okubo |
| 第 1 著者 所属（和/英） | 岩手県立大学(略称：岩手県立大) Iwate Prefectural University(略称：Iwate Pref Univ.) |
| 第 2 著者 氏名（和/英） | 福原 和哉 / Kazuya Fukuhara |
| 第 2 著者 所属（和/英） | いわてものづくり・ソフトウェア融合テクノロジーセンター(略称：i-MOS) Iwate Monozukuri and Software Integration Technology Center(略称：i-MOS) |
| 第 3 著者 氏名（和/英） | 猪股 俊光 / Toshimitsu Inomata |
| 第 3 著者 所属（和/英） | 岩手県立大学(略称：岩手県立大) Iwate Prefectural University(略称：Iwate Pref Univ.) |
| 第 4 著者 氏名（和/英） | 杉野 栄二 / Eiji Sugino |
| 第 4 著者 所属（和/英） | 岩手県立大学(略称：岩手県立大) Iwate Prefectural University(略称：Iwate Pref Univ.) |
| 第 5 著者 氏名（和/英） | 新井 義和 / Yoshikazu Arai |
| 第 5 著者 所属（和/英） | 岩手県立大学(略称：岩手県立大) Iwate Prefectural University(略称：Iwate Pref Univ.) |
| 第 6 著者 氏名（和/英） | 今井 信太郎 / Shintaro Imai |
| 第 6 著者 所属（和/英） | 岩手県立大学(略称：岩手県立大) Iwate Prefectural University(略称：Iwate Pref Univ.) |
| 発表年月日 | 2016-11-24 |
| 資料番号 | CAS2016-64,MSS2016-44 |
| 巻番号（vol） | vol.116 |
| 号番号（no） | CAS-315,MSS-316 |
| ページ範囲 | pp.37-42(CAS), pp.37-42(MSS), |
| ページ数 | 6 |
| 発行日 | 2016-11-17 (CAS, MSS) |