Static Analysis for Java Servlets and JSP

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  • Department of Computer Science
We present an approach for statically reasoning about the behavior of Web applications that are developed using Java Servlets and JSP. Specifically, we attack the problems of guaranteeing that all output is well-formed and valid XML and ensuring consistency of XHTML form fields and session state. Our approach builds on a collection of program analysis techniques developed earlier in the JWIG and Xact projects, combined with work on balanced context-free grammars. Together, this provides the necessary foundation concerning reasoning about output streams and application control flow.
Original languageEnglish
Title of host publicationStatic Analysis : 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings
EditorsKwangkeun Yi
Number of pages17
Publication year2006
Publication statusPublished - 2006
EventThe 13th International Static Analysis Symposium - Seoul, Korea, Republic of
Duration: 29 Aug 200631 Aug 2006


ConferenceThe 13th International Static Analysis Symposium
LandKorea, Republic of
SeriesLecture Notes in Computer Science

See relations at Aarhus University Citationformats

ID: 3502850