PVS-Studio

Мы разрабатываем статический анализатор для C, C++, C# и Java кода

https://pvs-studio.ru/ru/