Static validation of dynamically generated HTML

Authors:
Claus Braband;Anders Møller;Michael Schwartzbach
Affiliations:
-;-;-
Venue:
PASTE '01 Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Year:
2001

Citing 0
Cited 23

The project

ACM Transactions on Internet Technology (TOIT)
Language-Based Caching of Dynamically Generated HTML

World Wide Web
XDuce: A statically typed XML processing language

ACM Transactions on Internet Technology (TOIT)
Extending Java for high-level Web service construction

ACM Transactions on Programming Languages and Systems (TOPLAS)
Generating web-based systems from specifications

Proceedings of the 2004 ACM symposium on Applied computing
A typed representation for HTML and XML documents in Haskell

Journal of Functional Programming
Static Checking of Dynamically Generated Queries in Database Applications

Proceedings of the 26th International Conference on Software Engineering
On-the-fly data integration models for biological databases

Proceedings of the 2007 ACM symposium on Applied computing
XML graphs in program analysis

Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Static validation of XSL transformations

ACM Transactions on Programming Languages and Systems (TOPLAS)
Static checking of dynamically generated queries in database applications

ACM Transactions on Software Engineering and Methodology (TOSEM)
Dual syntax for XML languages

Information Systems
Finding bugs in dynamic web applications

ISSTA '08 Proceedings of the 2008 international symposium on Software testing and analysis
Many holes in hindley-milner

Proceedings of the 2008 ACM SIGPLAN workshop on ML
Automated identification of parameter mismatches in web applications

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
The Essence of Form Abstraction

APLAS '08 Proceedings of the 6th Asian Symposium on Programming Languages and Systems
Web application modeling for testing and analysis

Proceedings of the 2008 Foundations of Software Engineering Doctoral Symposium
An on demand data integration model for biological databases

International Journal of Data Mining and Bioinformatics
Static consistency checking of web applications with WebDSL

Journal of Symbolic Computation
XML graphs in program analysis

Science of Computer Programming
Towards assuring quality attributes of client dynamic web applications: identifying and addressing the challenges

Journal of Web Engineering
Dual syntax for XML languages

DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
XML validation for context-free grammars

APLAS'06 Proceedings of the 4th Asian conference on Programming Languages and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We describe a static analysis of \bigwig\ programs that efficiently decides if all dynamically computed XHTML documents presented to the client will validate according to the official DTD. We employ two data-flow analyses to construct a graph summarizing the possible documents. This graph is subsequently analyzed to determine validity of those documents. By evaluating the technique on a number of realistic benchmarks, we demonstrate that it is sufficiently fast and precise to be practically useful.