Open AccessStatic Analysis for Java Servlets and JSP
Author(s) -
Christian Kirkegaard,
Anders Møller
Publication year - 2006
Publication title -
brics report series
Language(s) - English
Resource type - Journals
eISSN - 1601-5355
pISSN - 0909-0878
DOI - 10.7146/brics.v13i10.21915
Subject(s) - computer science , java , programming language , generics in java , consistency (knowledge bases) , xml , java annotation , java api for xml based rpc , context (archaeology) , scala , real time java , database , operating system , artificial intelligence , paleontology , biology
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 X ACT projects, combined with work on balanced context-free grammars. Together, this provides the necessary foundation concerning reasoning about output streams and application control flow.