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"