HTML Validation of Context-Free Languages

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperConference articleResearchpeer-review

  • Department of Computer Science
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.
Original languageEnglish
Book seriesLecture Notes in Computer Science
Pages (from-to)426-440
Number of pages15
Publication statusPublished - 2011
EventFoundations of Software Science and Computation Structures 2011 (FoSSaCS) - Saarbruecken, Germany
Duration: 26 Mar 20113 Apr 2011


ConferenceFoundations of Software Science and Computation Structures 2011 (FoSSaCS)

Bibliographical note

Title of the vol.: Foundations of Software Science and Computational Structures. Proceedings / Matin Hofmann (ed)
ISBN: 978-3-642-19804-5

See relations at Aarhus University Citationformats


ID: 32934797