WEKO3
アイテム
動的型付け言語コードの品質保証のためのpath-sensitiveな型解析
https://ipsj.ixsq.nii.ac.jp/records/224558
https://ipsj.ixsq.nii.ac.jp/records/2245583215c6e5-e552-4571-9876-939d5c6a2e5e
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-SE23213018.pdf (834.3 kB)
|
Copyright (c) 2023 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2023-03-02 | |||||||||||
| タイトル | ||||||||||||
| タイトル | 動的型付け言語コードの品質保証のためのpath-sensitiveな型解析 | |||||||||||
| 言語 | ||||||||||||
| 言語 | jpn | |||||||||||
| キーワード | ||||||||||||
| 主題Scheme | Other | |||||||||||
| 主題 | 解析・検査・保護 | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||||||
| 資源タイプ | technical report | |||||||||||
| 著者所属 | ||||||||||||
| 東京工業大学大学院情報理工学院情報工学系情報工学コース | ||||||||||||
| 著者所属 | ||||||||||||
| 東京工業大学情報理工学院 | ||||||||||||
| 著者所属 | ||||||||||||
| 東京工業大学情報理工学院 | ||||||||||||
| 著者名 |
児玉, 龍太郎
× 児玉, 龍太郎
× 荒堀, 喜貴
× 権藤, 克彦
|
|||||||||||
| 論文抄録 | ||||||||||||
| 内容記述タイプ | Other | |||||||||||
| 内容記述 | 動的型つけ言語で書かれたプログラムに対する静的型解析は，正確に速く行うことが難しいという問題がある．これは型の情報がないために，変数が取り得る値の近似が難しいからである．このため既存の静的型解析器では，正確な解析ができない．そこで本論文では Python で書かれたプログラムへの静的型解析に対して，backward 解析を組み合わせることで path-sensitivity を獲得し，型解析の精度向上を行う．これによって，より正確な型情報を入手することができ，静的解析の精度向上が期待できる．更にこの手法を採用した解析器を実装し，先行研究と比較実験を行った．すると既存手法と比べて解析時間は増大したが実用範囲内であり，精度は false positive が少なくてより正確な型解析結果を得ることができた． | |||||||||||
| 書誌レコードID | ||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||
| 収録物識別子 | AN10112981 | |||||||||||
| 書誌情報 |
研究報告ソフトウェア工学（SE） 巻 2023-SE-213, 号 18, p. 1-8, 発行日 2023-03-02 |
|||||||||||
| ISSN | ||||||||||||
| 収録物識別子タイプ | ISSN | |||||||||||
| 収録物識別子 | 2188-8825 | |||||||||||
| Notice | ||||||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||||||
| 出版者 | ||||||||||||
| 言語 | ja | |||||||||||
| 出版者 | 情報処理学会 | |||||||||||
