Static Analysis for Java Servlets and JSP

Christian Kirkegaard; Anders Møller

doi:10.1007/11823230_22

Static Analysis for Java Servlets and JSP

Christian Kirkegaard, Anders Møller

Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

25 Citations (Scopus)

Abstract

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 language	English
Title of host publication	Static Analysis : 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings
Editors	Kwangkeun Yi
Number of pages	17
Publisher	Springer
Publication date	2006
Pages	336-352
DOIs	https://doi.org/10.1007/11823230_22
Publication status	Published - 2006
Event	The 13th International Static Analysis Symposium - Seoul, Korea, Republic of Duration: 29 Aug 2006 → 31 Aug 2006

Conference

Conference	The 13th International Static Analysis Symposium
Country/Territory	Korea, Republic of
City	Seoul
Period	29/08/2006 → 31/08/2006

Series	Lecture Notes in Computer Science
Volume	4134

Access to Document

10.1007/11823230_22

Cite this

@inproceedings{138ca010ce4511dbbee902004c4f4f50,

title = "Static Analysis for Java Servlets and JSP",

abstract = "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. ",

author = "Christian Kirkegaard and Anders M{\o}ller",

year = "2006",

doi = "10.1007/11823230_22",

language = "English",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "336--352",

editor = "Kwangkeun Yi",

booktitle = "Static Analysis",

address = "Netherlands",

note = "The 13th International Static Analysis Symposium ; Conference date: 29-08-2006 Through 31-08-2006",

}

Kirkegaard, C & Møller, A 2006, Static Analysis for Java Servlets and JSP. in K Yi (ed.), Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings. Springer, Lecture Notes in Computer Science, vol. 4134, pp. 336-352, The 13th International Static Analysis Symposium, Seoul, Korea, Republic of, 29/08/2006. https://doi.org/10.1007/11823230_22

Static Analysis for Java Servlets and JSP. / Kirkegaard, Christian; Møller, Anders.
Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings. ed. / Kwangkeun Yi. Springer, 2006. p. 336-352 (Lecture Notes in Computer Science, Vol. 4134).

Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Static Analysis for Java Servlets and JSP

AU - Kirkegaard, Christian

AU - Møller, Anders

PY - 2006

Y1 - 2006

N2 - 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.

AB - 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.

U2 - 10.1007/11823230_22

DO - 10.1007/11823230_22

M3 - Article in proceedings

T3 - Lecture Notes in Computer Science

SP - 336

EP - 352

BT - Static Analysis

A2 - Yi, Kwangkeun

PB - Springer

T2 - The 13th International Static Analysis Symposium

Y2 - 29 August 2006 through 31 August 2006

ER -

Static Analysis for Java Servlets and JSP

Abstract

Conference

Access to Document

Fingerprint

Cite this