Coverity
Данный иностранный продукт может быть полностью или частично замещён следующими отечественными продуктами:
Positive Technologies Application Inspector
Средства анализа исходного кода на закладки и уязвимости:
Выполняет статический анализ исходного кода.
Безопасная разработка:
Выполняет статический анализ исходного кода, направленный на выявление потенциальных уязвимостей кода и НДВ в исходном коде.