A forum for Spin users
You are not logged in.
Take a look at: http://spinroot.com/cobra
where you can find information on a somewhat
different approach to static code analysis.
It's fast enough to be used interactively on
large code bases. Executables can be
downloaded for Linux, Cygwin/Windows, and Mac.
Offline