- 著者
- 古瀬 淳
- 出版者
- 一般社団法人日本ソフトウェア科学会
- 雑誌
- コンピュータソフトウェア (ISSN:02896540)
- 巻号頁・発行日
- vol.22, no.2, pp.90-94, 2005-04-26
Extensional polymorphismは関数型言語ML上での非パラメトリック多相性を実現するための枠組のーつであり,generic valueという,純粋なパラメトリック多相性の下では不可能な機能を提供する.我々は型ディスパッチと型パターンマッチを利用したgeneric valueの既存のコンパイルにおける意味論と効率の問題を指摘し,新たに[フロー」と呼ばれる,型付け情報を整数グラフに変換した物をディスパッチする変換方法を提案する.フローを使うことで,より自然な意味論に沿った変換が可能になり,多重定義値の呼び出しの効率も改善される.
1 0 0 0 VITC: 対攻撃耐性コード生成コンパイラ
- 著者
- 古瀬 淳 米澤 明憲
- 出版者
- 日本ソフトウェア科学会
- 雑誌
- コンピュータ ソフトウェア (ISSN:02896540)
- 巻号頁・発行日
- vol.25, no.1, pp.180-185, 2008
C言語プログラムでのメモリ脆弱性攻撃などによって生ずる機密情報漏洩を防ぐため,我々はC言語のメモリ安全化コンパイル技術を仮定した上で,その情報流解析手法を提案する.Cのメモリ安全化コンパイルにおけるエラー忘却型計算では,メモリ脆弱性攻撃を受けた際のプログラムの脆弱性回避を自動的に行うが,我々の情報流解析による安全性は,このエラー忘却型計算の「不安定な挙動」をも安全化できる.これにより,我々のCのコンパイル技術VITCではメモリ脆弱性攻撃を受けた後にも一定の安全性の下でプログラムの継続実行を行うことができる.
1 0 0 0 OA フローグラフを使ったExtensional Polymorphismのコンパイル
- 著者
- 古瀬 淳
- 出版者
- 日本ソフトウェア科学会
- 雑誌
- コンピュータ ソフトウェア (ISSN:02896540)
- 巻号頁・発行日
- vol.22, no.2, pp.2_90-2_94, 2005-04-26 (Released:2008-09-09)
Extensional polymorphismは関数型言語ML上での非パラメトリック多相性を実現するための枠組の一つであり,generic valueという,純粋なパラメトリック多相性の下では不可能な機能を提供する.我々は型ディスパッチと型パターンマッチを利用したgeneric valueの既存のコンパイルにおける意味論と効率の問題を指摘し,新たに「フロー」と呼ばれる,型付け情報を整数グラフに変換した物をディスパッチする変換方法を提案する.フローを使うことで,より自然な意味論に沿った変換が可能になり,多重定義値の呼び出しの効率も改善される.