| Presentation | 2016-11-24 Representation and analysis of C Source Code by using The Program Graph Tateo Okubo, Kazuya Fukuhara, Toshimitsu Inomata, Eiji Sugino, Yoshikazu Arai, Shintaro Imai, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | 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. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Program Analysis / Graph Model / Graph Representation / Program Graph |
| Paper # | CAS2016-64,MSS2016-44 |
| Date of Issue | 2016-11-17 (CAS, MSS) |
| Conference Information | |
| Committee | MSS / CAS / IPSJ-AL |
|---|---|
| Conference Date | 2016/11/24(2days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | Kobe Institute of Computing |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | Satoshi Yamane(Kanazawa Univ.) / Toshihiko Takahashi(Niigata Univ.) |
| Vice Chair | Morikazu Nakamura(Univ. of Ryukyus) / Mitsuru Hiraki(Renesas) |
| Secretary | Morikazu Nakamura(Yamaguchi Univ.) / Mitsuru Hiraki(Toshiba) / (Tohoku Univ.) |
| Assistant | Hideki Kinjo(Okinawa Univ.) / Toshihiro Tachibana(Shonan Inst. of Tech.) / Yohei Nakamura(Hitachi) |
| Paper Information | |
| Registration To | Technical Committee on Mathematical Systems Science and its applications / Technical Committee on Circuits and Systems / Special Interest Group on Algorithms |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Representation and analysis of C Source Code by using The Program Graph |
| Sub Title (in English) | |
| Keyword(1) | Program Analysis |
| Keyword(2) | Graph Model |
| Keyword(3) | Graph Representation |
| Keyword(4) | Program Graph |
| 1st Author's Name | Tateo Okubo |
| 1st Author's Affiliation | Iwate Prefectural University(Iwate Pref Univ.) |
| 2nd Author's Name | Kazuya Fukuhara |
| 2nd Author's Affiliation | Iwate Monozukuri and Software Integration Technology Center(i-MOS) |
| 3rd Author's Name | Toshimitsu Inomata |
| 3rd Author's Affiliation | Iwate Prefectural University(Iwate Pref Univ.) |
| 4th Author's Name | Eiji Sugino |
| 4th Author's Affiliation | Iwate Prefectural University(Iwate Pref Univ.) |
| 5th Author's Name | Yoshikazu Arai |
| 5th Author's Affiliation | Iwate Prefectural University(Iwate Pref Univ.) |
| 6th Author's Name | Shintaro Imai |
| 6th Author's Affiliation | Iwate Prefectural University(Iwate Pref Univ.) |
| Date | 2016-11-24 |
| Paper # | CAS2016-64,MSS2016-44 |
| Volume (vol) | vol.116 |
| Number (no) | CAS-315,MSS-316 |
| Page | pp.pp.37-42(CAS), pp.37-42(MSS), |
| #Pages | 6 |
| Date of Issue | 2016-11-17 (CAS, MSS) |