<< Cross-Language Program Analysis and Refactoring | ホーム | モデル検査技術を利用したプログラム解析器の生成ツール >>

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"

タグ : ,



コメント追加 トラックバック送信