PVS-Studio

The PVS-Studio team develops, promotes, and sells the same-name static code analyzer that finds errors in C, C++, C#, and Java on Windows, Linux, and macOS.