<< 2008年7月31日 | ホーム | 2008年8月2日 >>

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"

タグ : ,