| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2014-05-09 09:30 Identifying Cross-Function Side Effects using Static Analysis ○Jiachen Yang・Keisuke Hotta・Yoshiki Higo・Shinji Kusumoto（Osaka Univ.）  SS2014-5 |
|
| 抄録 | （和） | Side effects are modifications done to the state of the objects in Object-Oriented Programming languages such as Java. Side effects can happen across the boundary of the functions, therefore they are important properties that often be neglected by the documentations. In this paper, we studied the side effects of functions by using a static analysis method to automatically infer the state dependencies for the return value and side effects of functions. We also present a set of annotations to document these state dependencies. As a result, the annotations presented in this paper reveals well-defined state interactions between objects. These annotations can be used in further investigations by both programmers and tools. We have implemented the analysis method targeting Java bytecode and tested it on vary-sized open source Java software libraries. From our experimental results, we found that 25--33% of the functions in the evaluated open source Java libraries are pure functions, which indicates that a large percentage of the functions is suitable for high level refactoring. And we present a case study of equals and hashCode functions to show the importance of our method in real world programming tasks. |
| （英） | Side effects are modifications done to the state of the objects in Object-Oriented Programming languages such as Java. Side effects can happen across the boundary of the functions, therefore they are important properties that often be neglected by the documentations. In this paper, we studied the side effects of functions by using a static analysis method to automatically infer the state dependencies for the return value and side effects of functions. We also present a set of annotations to document these state dependencies. As a result, the annotations presented in this paper reveals well-defined state interactions between objects. These annotations can be used in further investigations by both programmers and tools. We have implemented the analysis method targeting Java bytecode and tested it on vary-sized open source Java software libraries. From our experimental results, we found that 25--33% of the functions in the evaluated open source Java libraries are pure functions, which indicates that a large percentage of the functions is suitable for high level refactoring. And we present a case study of equals and hashCode functions to show the importance of our method in real world programming tasks. | |
| キーワード | （和） | state boundary / state dependency / object-oriented / effect annotation / static analysis / / / |
| （英） | state boundary / state dependency / object-oriented / effect annotation / static analysis / / / | |
| 文献情報 | 信学技報, vol. 114, no. 23, SS2014-5, pp. 25-30, 2014年5月. | |
| 資料番号 | SS2014-5 | |
| 発行日 | 2014-05-01 (SS) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| 査読に ついて |
本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります． | |
| PDFダウンロード | SS2014-5 |
|
| 研究会情報 | |
| 研究会 | SS |
| 開催期間 | 2014-05-08 - 2014-05-09 |
| 開催地（和） | いせ市民活動センター |
| 開催地（英） | ISE SHIMIN - KATSUDOU Center |
| テーマ（和） | 一般 |
| テーマ（英） | General topics |
| 講演論文情報の詳細 | |
| 申込み研究会 | SS |
| 会議コード | 2014-05-SS |
| 本文の言語 | 英語 |
| タイトル（和） | |
| サブタイトル（和） | |
| タイトル（英） | Identifying Cross-Function Side Effects using Static Analysis |
| サブタイトル（英） | |
| キーワード(1)（和/英） | state boundary / state boundary |
| キーワード(2)（和/英） | state dependency / state dependency |
| キーワード(3)（和/英） | object-oriented / object-oriented |
| キーワード(4)（和/英） | effect annotation / effect annotation |
| キーワード(5)（和/英） | static analysis / static analysis |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 楊 嘉晨 / Jiachen Yang / ヨウ カシン |
| 第1著者 所属（和/英） | 大阪大学 (略称： 阪大) Osaka Univercity (略称： Osaka Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 堀田 圭佑 / Keisuke Hotta / ホッタ ケイスケ |
| 第2著者 所属（和/英） | 大阪大学 (略称： 阪大) Osaka Univercity (略称： Osaka Univ.) |
| 第3著者 氏名（和/英/ヨミ） | 肥後 芳樹 / Yoshiki Higo / ヒゴ ヨシキ |
| 第3著者 所属（和/英） | 大阪大学 (略称： 阪大) Osaka Univercity (略称： Osaka Univ.) |
| 第4著者 氏名（和/英/ヨミ） | 楠本 真二 / Shinji Kusumoto / クスモト シンジ |
| 第4著者 所属（和/英） | 大阪大学 (略称： 阪大) Osaka Univercity (略称： Osaka Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2014-05-09 09:30:00 |
| 発表時間 | 30分 |
| 申込先研究会 | SS |
| 資料番号 | SS2014-5 |
| 巻番号（vol） | vol.114 |
| 号番号（no） | no.23 |
| ページ範囲 | pp.25-30 |
| ページ数 | 6 |
| 発行日 | 2014-05-01 (SS) |
[研究会発表申込システムのトップページに戻る]