dk.brics.automaton  |  dk.brics.grammar  |  dk.brics.schematools
TAJS  |  Java String Analyzer  |  XSLT Validator  |  ServletValidator  |  XSugar  |  Xact  |  JWIG


ServletValidator ServletValidator is a static program analyzer for Java Servlets. The analysis checks whether all possible output for a given servlet is well-formed and valid XHTML 1.0.

The analysis consists of a front-end that computes a context-free grammar that captures the possible output of the given servlet (i.e. string fragments printed to the output stream) and a back-end that analyzes the grammar for XML well-formedness and XHTML validity.

The current implementation release contains the analysis front-end and parts of the back-end. Stay tuned for updates!

The ServletValidator package is being implemented by Mathias Schwarz at Aarhus University.