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, D_in and D_out, the XSLV tool is able to check statically that all output of S at runtime is valid according to D_out assuming that the input is valid according to D_in. Additionally, XSLV produces a flow graph of S. Schemas are written in either DTD, XML Schema, or Restricted RELAX NG.

Try the online XSLT analysis tool.
Read the research paper: Static Validation of XSL Transformations [ abstract | PDF] (in ACM TOPLAS)
M.Sc. theses:
- Søren Kuula: Practical type-safe XSLT 2.0 stylesheet authoring, [ PDF ], March 2006
- Mads Kristian Østerby Olesen: Static Validation of XSLT [ PDF ], June 2004
A presentation (57 slides) of the approach.
The implementation is based on the dk.brics.schematools package.

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