Securing Web Application Code by Static Analysis and Runtime Protection
PHP アプリケーションを対象に flow-sensitive な情報流解析と実行時チェックのためのコード挿入によってセキュアなアプリケーションを実現するツールを作ったという話。だけど、論文は関連研究、類似研究のサーベイの方が多い気が。手法やツールの内部の説明はさらっとしているだけだし、手法的に目新しさはない感じがする。サーベイでページを埋めたとは言わないけど、どことなくそんな雰囲気が漂う微妙な論文。ただ、サーベイはわりとまとまっている感じなのでそっちは意味があるかも。
author="Yao-Wen Huang and Fang Yu and Christian Hang and Chung-Hung Tsai and D. T. Lee and Sy-Yen Kuo",
title="{Securing Web Application Code by Static Analysis and Runtime Protection}",
booktitle="WWW'04",
publisher="ACM",
pages="40--52",
year="2004"
モデル検査技術を利用したプログラム解析器の生成ツール
ある種のプログラム解析はモデル検査であるとの洞察に基づき、SMV を用いて Jimple プログラムを CTL-FV 論理式で検査する手法に関する論文。CTL-FV は変数を利用できるため状態が表現しやすく、プログラム解析の内容の記述が容易になる。SMV が受け付けるのは変数を含まない CTL 論理式なので、プログラム中の変数を CTL-FV 論理式中の変数に束縛する。変数束縛と Jimple プログラムの状態遷移モデルへの変換を同時に行い、SMV で検査する。
author="山岡 裕司 and 胡 振江 and 武市 正人 and 小川 瑞史",
title="{モデル検査技術を利用したプログラム解析器の生成ツール}",
journal="情報処理学会論文誌：プログラミング",
volumn="44",
number="SIG13(PRO18)",
pages="25--37",
year="2003"
Static Approximation of Dynamically Generated Web Pages
プログラム中で生成される文字列を文脈自由文法で近似して、正規表現による仕様との disjoint を検査する話。PHP を対象として実装して、XSS や生成される HTML の妥当性が検査できる。
author="Yasuhiko Minamide",
title="{Static Approximation of Dynamically Generated Web Pages}",
booktitle="Proc. of the 14th International World Wide Web Conference",
publisher="ACM Press",
pages="432--441",
year="2005"
Cross-Language Program Analysis and Refactoring
複数の言語を使って作られるシステムのプログラムを解析してリファクタリングするためのモデルを考えました、という論文。のはずだけど、具体的なモデルの話は出てこなくて、こういう感じでモデルを作ればいいということを書いているだけなので、どことなく物足りないしよくわからない。一応、製品化された(?) IDE に組み込まれているらしい。
author="Dennis Strein and Hans Kratz and Welf Löwe",
title="{Cross-Language Program Analysis and Refactoring}",
booktitle="SCAM'06",
publisher="IEEE Computer Society",
pages="207--216",
year="2006"
追記(2009/04/08)
同じ論文を以前読んでいたことが今頃になって判明。
On Flow-Sensitive Security Types
flow-sensitive な情報流解析のための型システムの提案。型システムとしては straightforward だと思ったけど、soundness とか completeness とかだんだん議論についていけなくなったので、もう一度読み直したい。
author="Sebastian Hunt and David Sands",
title="{On Flow-Sensitive Security Types}",
booktitle="POPL 2006",
publisher="ACM Press",
pages="79--90",
year="2006"
Object-Based Data Flow Testing of Web Applications
データフローに着目して Web アプリケーションのテストケースを作ればいいんじゃないの、という提案。2000 年なのでちょっと古い。サーバ側プログラムもクライアント側プログラムも全部フローグラフ化して、どの範囲でテストすれば判断する。Web アプリケーションをオブジェクトの集合、オブジェクトを関数の集合としてモデル化して、着目した要素のテストを単一関数内か関数群かオブジェクト内かオブジェクト群かアプリケーション全体かいずれの範囲内で行うかフローグラフから決める。例を見ればそんなものかとも思うけど、テストケース（テストパス）をどうやって決めるかという部分が述べられてなくて、うまいのかうまくないのか結局よくわからない。
author="Chien-Hung Liu and Kung, D.C. and Pei Hsia and Chih-Tung Hsu",
title="{Object-Based Data Flow Testing of Web Applications}",
booktitle="APAQS'00",
publisher="IEEE Computer Society",
pages="7--16",
year="2000"
Inference of reference immutability
Java プログラムを対象に参照の immutability を Javari の型システムに基づいて推論するアルゴリズムを考えて Javarifier というツールに実装しました、という論文。
author="Jaime Quinonez and Matthew S. Tschantz and Michael D. Ernst",
title="{Inference of reference immutability}",
booktitle="ECOOP 2008",
publisher="Springer",
volume="5142",
series="LNCS",
pages="616--641",
year="2008"