The Dongfang Online XSLT Validator is available here for experimenting with the program analysis. With this tool, you can upload an XSLT 2.0 stylesheet together with input and output schemas, and as response get a flow graph and a validation report. You're also welcome to try the demos!
XSLV online- currently disabled, sorry...Demos- please ask for the offline version instead...- An offline version of the tool is available on request.
- Limitations and known bugs in the current implementation