Gimpel Software has released, Version 9.0 of their Lint program. Lint is the nitpickiest of all programs when it comes to finding errors in C and C++ code.
Most relevant to us at Software Safety .Net is the enhanced
Motor Industry Software Reliability Association
checking which includes the detection of recursion, support for the MISRA 2 'underlying type' concept, determination of side effects for functions and MISRA C++ support and more.
If your budget is limited this is the one program that you must have.