Comments 5
“ Можно сказать, что подобные изменения кода не исправляют ошибки”
Как раз исправляют:)
Анализатор VS 16.7 наконец научился так же отслеживать case без break.
При запуске обнаружилось довольно достаточно мест с забытым fallthrough, но самое главное, что нашлась ошибка в коде добавленным буквально день назад.
Хотя казалось бы прошёл все тесты и ревью.
Так что статический анализ это суровая необходимость если есть желание работать продуктивно.
+3
UFO just landed and posted this here
Про теорему Райса лучше все же сослаться на английскую википедию. В русской не написано практически ничего, я из русского текста даже не понял, почему это не эквивалентно проблеме остановки.
+1
Sign up to leave a comment.
Как внедрить статический анализатор кода в legacy проект и не демотивировать команду