2014 年度研究成果報告書

情報流解析と型エラースライシングに基づくソフトウェアの安全性検証と開発支援

研究課題

研究課題/領域番号	24700036
研究種目	若手研究(B)
配分区分	基金
研究分野	ソフトウエア
研究機関	立命館大学
研究代表者	桑原寛明立命館大学, 情報理工学部, 助教 (30432222)
研究期間 (年度)	2012-04-01 – 2015-03-31
キーワード	情報流解析 / 型システム / 型エラースライシング / ソフトウェア開発支援
研究成果の概要	本研究では、情報流解析を対象とする型エラースライシングの正当性を証明した。加えて、非機密化プリミティブの配置手法を提案した。型エラースライシングと非機密化プリミティブはいずれも機密情報を漏洩しないソフトウェアの開発支援手法である。さらに、開発者が統合開発環境上で行った操作履歴に基づいてコード補完を改善して開発作業を支援する手法を提案した。
自由記述の分野	ソフトウェア工学