WEKO3
アイテム
イベント処理を考慮した正確かつ高速なデータフロー解析
https://ipsj.ixsq.nii.ac.jp/records/186611
https://ipsj.ixsq.nii.ac.jp/records/186611c675dc8c-86bb-4a46-a46a-1792a9488b83
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
Copyright (c) 2018 by the Information Processing Society of Japan
|
|
オープンアクセス |
Item type | SIG Technical Reports(1) | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
公開日 | 2018-03-02 | |||||||||||
タイトル | ||||||||||||
タイトル | イベント処理を考慮した正確かつ高速なデータフロー解析 | |||||||||||
言語 | ||||||||||||
言語 | jpn | |||||||||||
キーワード | ||||||||||||
主題Scheme | Other | |||||||||||
主題 | プログラミング言語と解析 | |||||||||||
資源タイプ | ||||||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||||||
資源タイプ | technical report | |||||||||||
著者所属 | ||||||||||||
東京工業大学 | ||||||||||||
著者所属 | ||||||||||||
東京工業大学 | ||||||||||||
著者所属 | ||||||||||||
東京工業大学 | ||||||||||||
著者所属(英) | ||||||||||||
en | ||||||||||||
Tokyo Institute of Technology | ||||||||||||
著者所属(英) | ||||||||||||
en | ||||||||||||
Tokyo Institute of Technology | ||||||||||||
著者所属(英) | ||||||||||||
en | ||||||||||||
Tokyo Institute of Technology | ||||||||||||
著者名 |
高野, 健太
× 高野, 健太
× 荒堀, 喜貴
× 権藤, 克彦
|
|||||||||||
論文抄録 | ||||||||||||
内容記述タイプ | Other | |||||||||||
内容記述 | JavaScript のデータフロー解析を難しくする要因に非同期に実行されるイベント処理が存在する.先行研究において非同期処理のモデル化は不正確であり,またイベントの発火順序を考慮したモデル上では解析自体がスケールしないという課題が存在する.本研究ではこのイベント処理の振る舞いを解析した結果を元に,精度を保ちつつ高速にデータフロー解析を行うための 2 つの簡約手法,イベント順序ベース簡約と類似操作ベース簡約を提案する.これらの簡約手法では,条件式の簡易な値解析によるイベント処理の枝刈りと,イベントの発火順序を考慮したデータフローの集約によって,データフロー解析をより正確かつ高速に行えるようにする.そして,これらの提案手法を実際にツールとして実装し,7 種類の小さいケースと 3 種類の実際のライブラリに対するデータフロー解析により評価実験を行い,提案手法を用いないベース手法との比較を行った.この評価の結果,小さいケースでは,7 種類の内の 4 種類のケースにおいてほぼ同様の解析時間でより良い精度の解析を行うことができた.また,ライブラリでは,3 種類の内の 1 種類のケースにおいて解析精度の向上が確認できた. | |||||||||||
書誌レコードID | ||||||||||||
収録物識別子タイプ | NCID | |||||||||||
収録物識別子 | AN10112981 | |||||||||||
書誌情報 |
研究報告ソフトウェア工学(SE) 巻 2018-SE-198, 号 21, p. 1-8, 発行日 2018-03-02 |
|||||||||||
ISSN | ||||||||||||
収録物識別子タイプ | ISSN | |||||||||||
収録物識別子 | 2188-8825 | |||||||||||
Notice | ||||||||||||
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||||||
出版者 | ||||||||||||
言語 | ja | |||||||||||
出版者 | 情報処理学会 |