From Program Verification Systems:
PVS-Studio is a static analyzer that detects errors in source code of C/C++/C++11 applications with support of all modern C++11 features and Microsoft-specific extensions. There are 4 main categories of errors that are detected: generic (common) programming mistakes, 64-bit portability issues, possible performance optimizations and parallel programming errors (OpenMP library is supported). Both source code of application and any third-party libraries used are being checked. PVS-Studio works best when integrated with Visual Studio development environment and is used by the whole team so errors do not leave developers' workstations. For the top efficiency of static analysis approach it should also be integrated with continuous integration or build server via a command-line interface. Quick and easy installation of trial version allows to start checking code in only 5 minutes after a download.