dk.brics.automaton  |  dk.brics.grammar  |  dk.brics.schematools
Thor  |  TSCheck  |  JSRefactor  |  Artemis  |  TAJS  |  Java String Analyzer  |  XSLT Validator  |  WARlord  |  XSugar  |  Xact  |  JWIG


WARlord WARlord (formerly known as ServletValidator) is a static program analyzer for Java Servlets, JSP, and Struts.

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 as well as HTML validity. Furthermore it has a back end that statically checks for client-state manipulation vulnerabilities.

The WARlord package is implemented by Mathias Schwarz at Aarhus University.