This is a demo of UrFlow, a static analysis for the Ur/Web programming language. See the main Ur/Web site for the latest compiler distribution, which includes the UrFlow analysis. The analysis is only run when the command-line flag -iflow is passed.
The source code to these demos is available as a tarball.