
Static Validation of Dynamically Generated HTML
Author(s) -
Claus Brabrand,
Anders Pape Møller,
Michael I. Schwartzbach
Publication year - 2001
Publication title -
brics report series
Language(s) - English
Resource type - Journals
eISSN - 1601-5355
pISSN - 0909-0878
DOI - 10.7146/brics.v8i9.20464
Subject(s) - computer science , programming language , graph , control flow graph , construct (python library) , xhtml , theoretical computer science , markup language , operating system , xml
We describe a static analysis of programs that efficiently decides if all dynamically computed XHTML documents presented to the client will validate according to the official DTD. We employ two interprocedural flow analyses to construct a graph summarizing the possible documents. This graph is subsequently analyzed to determine validity of those documents.