WEKO3
アイテム
動的型付け言語コードの品質保証のためのpath-sensitiveな型解析
https://ipsj.ixsq.nii.ac.jp/records/224558
https://ipsj.ixsq.nii.ac.jp/records/2245583215c6e5-e552-4571-9876-939d5c6a2e5e
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]()
2025年3月2日からダウンロード可能です。
|
Copyright (c) 2023 by the Information Processing Society of Japan
|
|
非会員:¥660, IPSJ:学会員:¥330, SE:会員:¥0, DLIB:会員:¥0 |
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 | |||||||||||
出版者 | 情報処理学会 |