SVACE – СТАТИСТИЧЕСКИЙ АНАЛИЗ С++ БЕЗ СТРАДАНИЙ

30% разработчиков C++ вообще не используют статический анализ, а половина использующих применяет инструменты стат. анализа для команд. Известное дело – статический анализ C++ это трудоемкий и дотошный процесс, ведь инструментарий C++ фрагментирован, а создание проектов на C++ не так отлажено.
Таким образом, кажется невозможным предложить серьезный статический анализ C++ с большим опытом настройки. Юзерам приходится страдать или не пользоваться им вовсе.

В РАН нашли управу.

Svace – необходимый инструмент жизненного цикла разработки безопасного ПО, основной статический анализатор компании Samsung. Обнаруживает более 50 классов критических ошибок в исходном коде. Поддерживает языки C, C++, C#, Java, Kotlin и Go. Включён в Единый реестр российского ПО (№4047). Поставляется с web-интерфейсом просмотра предупреждений Svacer (Svace History Server).

▼Источник и подробности – по ссылке
▼Детали дадим по вашим вопросам