Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Conference article › Research › peer-review
HTML Validation of Context-Free Languages. / Møller, Anders; Schwarz, Mathias Romme.
In: Lecture Notes in Computer Science, Vol. 6604, 2011, p. 426-440.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Conference article › Research › peer-review
}
TY - GEN
T1 - HTML Validation of Context-Free Languages
AU - Møller, Anders
AU - Schwarz, Mathias Romme
N1 - Title of the vol.: Foundations of Software Science and Computational Structures. Proceedings / Matin Hofmann (ed) ISBN: 978-3-642-19804-5
PY - 2011
Y1 - 2011
N2 - We present an algorithm that generalizes HTML validation of individual documents to work on context-free sets of documents. Together with a program analysis that soundly approximates the output of Java Servlets and JSP web applications as context-free languages, we obtain a method for statically checking that such web applications never produce invalid HTML at runtime. Experiments with our prototype implementation demonstrate that the approach is useful: On 6 open source web applications consisting of a total of 104 pages, our tool finds 64 errors in less than a second per page, with 0 false positives. It produces detailed error messages that help the programmer locate the sources of the errors. After manually correcting the errors reported by the tool, the soundness of the analysis ensures that no more validity errors exist in the applications.
AB - We present an algorithm that generalizes HTML validation of individual documents to work on context-free sets of documents. Together with a program analysis that soundly approximates the output of Java Servlets and JSP web applications as context-free languages, we obtain a method for statically checking that such web applications never produce invalid HTML at runtime. Experiments with our prototype implementation demonstrate that the approach is useful: On 6 open source web applications consisting of a total of 104 pages, our tool finds 64 errors in less than a second per page, with 0 false positives. It produces detailed error messages that help the programmer locate the sources of the errors. After manually correcting the errors reported by the tool, the soundness of the analysis ensures that no more validity errors exist in the applications.
U2 - 10.1007/978-3-642-19805-2_29
DO - 10.1007/978-3-642-19805-2_29
M3 - Conference article
VL - 6604
SP - 426
EP - 440
JO - Lecture Notes in Computer Science
JF - Lecture Notes in Computer Science
SN - 0302-9743
T2 - Foundations of Software Science and Computation Structures 2011 (FoSSaCS)
Y2 - 26 March 2011 through 3 April 2011
ER -