Eclipse
Mac の Eclipse は Java6 で動かないですが、諸事情により普段は Java6 なので Java5 で実行するように設定ファイルを編集。Eclipse.app/Contents/Info.plist を
<key>Eclipse</key> <array> ... いろいろ ... <string>-vm</string> <string>/System/Library/Frameworks/JavaVM.framework/Versions/1.5/Commands/java</string> </array>
となるように変更。今回は編集になんとなく Property List Editor を使ってみました。
Type Inference and Informative Error Reporting for Secure Information Flow
型システムによる情報流解析のエラーをわかりやすくしようという論文。アプローチは、制約条件の集合が充足可能か求めるアルゴリズムの工夫。各変数の機密度の初期値をボトムにして必要なだけ引き上げるけど、引き上げる時に影響した変数を記録しておいて、失敗したらその変数が原因だとみなす。アルゴリズムの健全性と完全性を示して、あとは例。
author="Zhenyue Deng and Geoffrey Smith",
title="{Type Inference and Informative Error Reporting for Secure Information Flow}",
booktitle="ACM-SE 44",
publisher="ACM",
pages="543--548",
year="2006"
Jifclipse: Development Tools for Security-Typed Languages
Jif 向けの IDE の提案。IDE としてやるべきことはいろいろあるけれど、まずは情報流解析でエラーが出た時の対処から。一番の問題はエラーメッセージがわかりにくく、原因箇所の特定が難しいことなのでそれをどうにかする。Eclipse にのっていろいろな情報を出したり Quick Fix できるようにしたり。Quick Fix はセキュリティラベルの変更や declassification の挿入など。
author="Boniface Hicks and Dave King and Patrick McDaniel",
title="{Jifclipse: Development Tools for Security-Typed Languages}",
booktitle="PLAS 2007",
publisher="ACM",
pages="1--10",
year="2007"
Effective Blame for Information-Flow Violations
情報流解析でエラーが出た時にその原因箇所を容易に特定できるようにしました、という論文。制約条件間の依存関係を求めて、満たされなかった条件からさかのぼれば原因が見つけられる。対象は Jif。最近似たようなことを別の手法でやってるから比較対象かな。
author="Dave King and Trent Jaeger and Somesh Jha and Sanjit A. Seshia",
title="{Effective Blame for Information-Flow Violations}",
booktitle="Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering",
publisher="ACM",
pages="250--260",
year="2008"
An Operational Semantics for JavaScript
今まで A 草研の blog に読んだ論文の記録を付けてましたが、気軽にいろいろお願いできるメンテナが異動してしまったのでこっちに記録することにしました。過去のデータもいずれ持ってくる予定です。
で、本題。今回の論文はフルスペックの ECMAScript の操作的意味論の提案。仕様書には例によって自然言語で言語の意味が書かれているけど、それを操作的意味によって厳密に定義している。フルスペックに対応するために結構ややこしいことになっていて、意味の定義はまだ読み切れていない。
author="Sergio Maffeis and John C. Mitchell and Ankur Taly",
title="{An Operational Semantics for JavaScript}",
booktitle="APLAS 2008",
volume="5356",
series="LNCS",
publisher="Springer",
pages="307--325",
year="2008"