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