>>7
I love the "it's never our mistake" attitude a lot of developers have. It's always mismanagement.

I won't defend managers, since they do deserve a lot of the flack, but coder discipline and communication is also an important element.

> they can assure you 100% (and show you the proofs!)

Static analysis is limited. It can only catch a limited subset of bugs with any real-world language. Besides, even if you can prove the code is correct, it can still have bugs related to the problem at hand.