Code Validation Tool

I am very impressed by a tool called Polyspace from Mathworks. It is a code validation tool for C/C++ that mathematically proves all permutation of your code for runtime correctness by using abstract interpretation. After analyzing your code, it generates a report with mathematical confidence that (for example) 90% of your code is 100% correct for runtime and will never fail. As a developer, you concentrate on the 10% of your code to make it 100% reliable. If you can afford 30k/year to buy a tool, you should definitely give it a try.