WEKO3
アイテム
情報流解析におけるIDEを前提とした機密度アノテーション
https://ipsj.ixsq.nii.ac.jp/records/232945
https://ipsj.ixsq.nii.ac.jp/records/232945089944cd-d37d-499a-865c-818f835f582b
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-SE24216023.pdf (696.6 kB)
|
Copyright (c) 2024 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2024-02-26 | |||||||
| タイトル | ||||||||
| タイトル | 情報流解析におけるIDEを前提とした機密度アノテーション | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 南山大学理工学部 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Faculty of Science and Technology, Nanzan University | ||||||||
| 著者名 |
桑原, 寛明
× 桑原, 寛明
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 本稿では，IDE の利用を前提として，情報流解析における機密度を記述および管理する手法を提案する．型検査に基づく情報流解析では，プログラム中の変数や関数の返り値の型として機密度を指定する必要があるが，実際に利用されているプログラミング言語にはそのための構文が存在しない．構文を拡張すれば対応できるが，その場合は既存の言語処理系や開発環境をそのまま利用することが難しくなる．現在のソフトウェア開発では IDE を利用してプログラムを作成することが一般的であるため，構文を拡張することなく機密度を扱う手法を，IDE の機能を活用して実現する．本稿では，機密度を Inlay Hints によって表示するプロトタイプツールを VSCode の拡張機能として実装し，機密度の指定，表示，保存の方法を検討する． | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10112981 | |||||||
| 書誌情報 |
研究報告ソフトウェア工学（SE） 巻 2024-SE-216, 号 23, p. 1-8, 発行日 2024-02-26 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 2188-8825 | |||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
