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!
Please send comments and questions about this tool to s_kuula@yahoo.com,amoeller@cs.au.dk.