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

XSLV - Static Validation of XSL Transformations

XSLV is a program analysis tool for XSL Transformations (XSLT).

Given an XSLT 2.0 stylesheet, S, and two schemas, Din and Dout, the XSLV tool is able to check statically that all output of S at runtime is valid according to Dout assuming that the input is valid according to Din. Additionally, XSLV produces a flow graph of S. Schemas are written in either DTD, XML Schema, or Restricted RELAX NG.

This tool is programmed by Søren Kuula as part of his M.Sc. thesis work in the programming language group at Aarhus University.