Статический анализ, как гигиена кода
Гигиеническими процедурами можно пренебрегать или даже не знать о них. Результат – масса ненужных болезней, которых можно было избежать. Аналогично и с программным кодом. Использование инструментов статического анализа позволяет быстро выявить и устранить многие ошибки на самом раннем этапе.
Я расскажу, что такое методология статического анализа кода. Расскажу о правильном и неправильном использовании инструментов анализа кода. Покажу примеры ошибок, которые могут быть выявлены с помощью таких инструментов, как ReSharper, PVS-Studio, Visual Studio SCA. Объясню, почему применение анализаторов всё более важная часть процесса разработки программ.
Андрей Карпов, СиПроВер
Является техническим директором в компании ООО "Системы программной верификации", где занимается разработкой инструментов статического анализа исходного кода. Несколько лет работал в научной организации, где занимался визуализацией больших объемов данных. В процессе работы приобрёл уникальный опыт в создании ресурсоемких приложений в области численного моделирования и визуализации. Именно тогда обратил внимание на недостаточный набор инструментов, позволяющий обнаруживать дефекты в 64-битных приложениях, работающих с большим объемом памяти. Это и стало отправной точкой в создании статического анализатора Viva64, а затем пакета PVS-Studio