PVS‑Studio is a tool to detect bugs and potential vulnerabilities 
in C, C++, C#, and Java source code on Windows, Linux, macOS.