Мне известен связанный вопрос, в котором кто-то упомянул clang static analyzer, но не дал дальнейших комментариев. Большинство ответов указывало на семейство линтов, которое время от времени разочаровывало меня из-за большого количества ложных срабатываний.
Я заметил статический анализатор clang, когда читал примечания к выпуску XCode. Я пробовал это, и он дал только одно ложное срабатывание из ~ 20 000 строк из нескольких проектов. Логика этого ложного срабатывания немного сложна, что вводит анализатор в заблуждение. А как насчет ложноотрицательных результатов? Не пропустит ли clang статический анализатор много потенциальных ошибок? У кого-нибудь есть опыт побольше? В более общем плане, действительно ли статический анализатор помогает уменьшить количество ошибок?
Заранее спасибо.