I'm pretty sure that Pex [1] does the static analysis on these things. It's C#, but should be close enough for you to get the idea. [1]: You can play with it h

I'm pretty sure that Pex [1] does the static analysis on these things. It's C#, but should be close enough for you to get the idea. [1]: You can play with it here: http://www.pexforfun.com/ http://www.pexforfun.com/