DIKU ITU

Copenhagen Programming Language Seminar

COPLAS Talk

Static Analysis for Java Servlets and JSP

Anders Møller,
DAIMI, Aarhus Universitet

Thursday, January 25th, Time: 15:00 - 16:00(!) (!)
IT University of Copenhagen, Rued Langgaards Vej 7, Auditorium 3

Abstract:

Developers of Web applications that use, for example, Java Servlets and JSP, often face the following problem: How can we guarantee that the dynamically generated output of the programs is always well-formed and valid XML?

The talk presents a program analysis that attacks this problem. The approach builds on a collection of program analysis techniques developed earlier in the JWIG and XACT projects, combined with Knuth's classical work on balanced context-free grammars. Together, this provides the necessary foundation concerning reasoning about output streams and application control flow in the Web application code.

(This is joint work with Christian Kirkegaard. It was presented at the 13th International Static Analysis Symposium (SAS'06); see http://www.brics.dk/~amoeller/papers/servlets/)

Scientific host: Henning Niss. Administrative host: Camilla Torp-smith. All are welcome.
The Copenhagen Programming Language Seminar (COPLAS) is a collaboration between DIKU, ITU and KVL.
COPLAS is sponsored by FIRST Graduate School.
To receive information about COPLAS talks by email, send a message to prog-lang-request@mail.it-c.dk with the word 'subscribe' as subject or in the body.

For more information about COPLAS, see http://www.coplas.org