Coverity

Данный иностранный продукт может быть полностью или частично замещён следующими отечественными продуктами:

Positive Technologies Application Inspector

https://www.ptsecurity.com/ru-ru/products/ai/

Средства анализа исходного кода на закладки и уязвимости:
Выполняет статический анализ исходного кода.

Безопасная разработка:
Выполняет статический анализ исходного кода, направленный на выявление потенциальных уязвимостей кода и НДВ в исходном коде.

Подробнее...