Static Analysis for Java Servlets and JSP

Forfattere

  • Christian Kirkegaard
  • Anders Møller

DOI:

https://doi.org/10.7146/brics.v13i8.21914

Resumé

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.

Downloads

Publiceret

2006-04-12

Citation/Eksport

Kirkegaard, C., & Møller, A. (2006). Static Analysis for Java Servlets and JSP. BRICS Report Series, 13(8). https://doi.org/10.7146/brics.v13i8.21914