Wikipedia
PVS-Studio
PVS-Studio is a proprietary static code analyzer supporting C, C++, C++11, C++/CLI, C++/CX and C#. It is used by John Carmack.