Open Source alternative to Mathworks Polyspace?

Question

Anyone knows about an open source project (or maybe just free to use in commercial projects) that is an alternative to Mathworks Polyspace?

I'm searching for tools for code checking and found some good alternatives for static checks, but PolySpace seems to offer so much more power. I think there's no real alternative out there, but maybe you know better. :)

As requested (sorry, for the delay, RL catches up...) I add my preferred languages for this tool:

1. Java
2. .NET (I'll be ok with C# only)
3. C/C++ (not a must-have)

Answer 1

Polyspace is designed around some very sophisticated program analysis technology. I don't think you'll see open source/free versions of this any time soon.

Answer 2

Polyspace only handles C, C++ and Java, so that's a powerful alternative indeed that you are looking for. The dynamic lookup of methods that's pervasive in C# and Java does not make these languages any easier to analyse.

For C, have a look at http://frama-c.cea.fr/