Как внедрить статический анализатор кода в legacy проект и не демотивировать команду

[NN1]

“ Можно сказать, что подобные изменения кода не исправляют ошибки”
Как раз исправляют:)
Анализатор VS 16.7 наконец научился так же отслеживать case без break.
При запуске обнаружилось довольно достаточно мест с забытым fallthrough, но самое главное, что нашлась ошибка в коде добавленным буквально день назад.
Хотя казалось бы прошёл все тесты и ревью.

Так что статический анализ это суровая необходимость если есть желание работать продуктивно.

[Andrey2008]

List of tools for static code analysis.

[symbix]

Про теорему Райса лучше все же сослаться на английскую википедию. В русской не написано практически ничего, я из русского текста даже не понял, почему это не эквивалентно проблеме остановки.

[Livid]

А она собственно эквивалентна. В том смысле, что если доказано одно (любое из двух), логически неизбежно следует второе. Теорема Райса — это просто более общая формулировка.