Какой-то добавил в закладки — https://ru.wikipedia.org/wiki/SonarQube Не смотрел, платное.

PVS-Studio нашумевший еще на слуху.

Какие используете для C++?

oclint?

Здравствуйте, zubactik, Вы писали:

Z>oclint?

Это вы реально используете? Проводили сравнение?

Здравствуйте, Shmj, Вы писали:

S>Какие используете для C++?

cppcheck

Вот хороший список https://github.com/fffaraz/awesome-cpp#static-code-analysis

К тому списку можно добавить пару российских
1. Есть статический анализатор, разработанный в ИСП РАН Svace https://www.ispras.ru/technologies/svace/
2. Ростелеком тоже имеет Solar https://rt-solar.ru/products/solar_appscreener/
Но это коммерческие.
PVS — тоже коммерческий.
А у Sonar вроде есть бесплатный вариант.
https://www.sonarsource.com/open-source-editions/

Кстати, рекомендую Clang — там можно самому дописывать чекеры.

Здравствуйте, Shmj, Вы писали:

S>Какие используете для C++?

Это статические анализаторы именно? Если нет, то можно добавить в список ещё всякие санитайзеры, например. Valgrind туда же.

Здравствуйте, Shmj, Вы писали:

S>Какие используете для C++?

тупой Kiuwan
не советую

В полном объёме для текущего проекта не особо получилось. Только местами. В прошлых местах пробовали. Для простых вещей на все 100% Но проект текущий 12KKLOC+ и там есть особенности с compilation data base

Но я от тестирования. Классификация на полезные/не полезные баги, обнаруживаемые вспомогательными средствами для меня крайне затруднена на реальном проекте. К примеру, где-то рейс это ужас-ужас-ужас, а где-то "фича бай дизайн". Так и тут.

Ещё Sanitizers, но это средства динамического анализа. Также что-то находят, что-то фиксят, но прям сказать что всегда на все 100% полезно не могу. Для динамических инструментов из экспериментального могу порекомендовать KLEE, но тоже крайне сильно зависит от конкретного проекта. Ещё всякие такие извращения есть и разрабатываются в ИСП РАН, но с ними диалог не сложился. Ну и по миру есть.

Я бы так сказал — если есть повышенные требования отказоустойчивости ПО, то могу повспоминать ещё эксперименты по применению всякого разного заграничного (с учётом того что часть уже будет недоступна для РФ в белую).

Ещё из хороших тем это стандартные тесты совместимости, поддержки, нагрузки по каким-то стандартам, продуктов-конкурентов и т.п. Особенно при прогоне под *san/valgrind. Но это уже другая тема

Здравствуйте, LaptevVV, Вы писали:


LVV>Кстати, рекомендую Clang — там можно самому дописывать чекеры.

Подробнее?

LVV>>Кстати, рекомендую Clang — там можно самому дописывать чекеры.
F>Подробнее?
https://clang.llvm.org/docs/ClangStaticAnalyzer.html

Здравствуйте, LaptevVV, Вы писали:

LVV>>>Кстати, рекомендую Clang — там можно самому дописывать чекеры.
F>>Подробнее?
LVV>https://clang.llvm.org/docs/ClangStaticAnalyzer.html

Я не нашёл ничего о том, что там можно написать свой чекер.

LVV>>https://clang.llvm.org/docs/ClangStaticAnalyzer.html
F>Я не нашёл ничего о том, что там можно написать свой чекер.

The goal of the Clang Static Analyzer is to provide a industrial-quality static analysis framework for analyzing C, C++, and Objective-C programs that is freely available, extensible, and has a high quality of implementation.

https://clang-analyzer.llvm.org/

Здравствуйте, Shmj, Вы писали:

S>Какие используете для C++?

ФСТЭК требует для сертификации cppcheck, если в Россию надумаешь приехать и работать в таких сферах, ориентируйся на это