Статический анализ кода, PVS-Studio

14.12.2023

Качество кода — ведь многомерная и местами субъективная. Однако, есть и объективные показатели, которые которые позволяют понять, насколько код хорош.

Один из них — количество ошибок, обнаруженных после того, как программист сказал, что “программа точно работает”. Больших программ без ошибок в природе не существует, но есть такие, где на 1000 строк кода приходится 3 ошибки, а есть такие, где их 30.

Конечно, ошибки сами по себе не исчезают, с этим надо работать. Спасают и TDD, и code review, и даже стандарты кодирования, принятые командой. Один из методов, которым мы, к сожалению, пользуемся нечасто — статический анализ кода.

Евгений Фёклин, один из разработчиков PVS-Studio, рассказал о том, что такое статический анализ и как он помогает в борьбе с ошибками. Поискали ошибки в работающем коде, поговорили о плюсах и минусах анализа.