Применение современных статических анализаторов

В докладе рассматриваются возможности современных статических анализаторов исходного кода, классы ошибок, которые они позволяют обнаруживать. На реальных примерах показывается, что современный статический анализ сильно продвинулся за возможности проверки стилистического соответствия кода, и сегодня статическими методами возможно обнаружение сложных ошибок динамической природы, таких как, например, разыменования нулевых указателей, использование неинициализированных данных, утечек памяти. Раньше обнаружение такого рода проблем требовало тестирования или динамического анализа со всеми сложностями и недостатками этих методов. Статический анализ, конечно, также не является панацеей, но, дополняя другие методы контроля качества, позволяет улучшить качество производимого ПО и сократить полные расходы на разработку (включая тестирование). Возможность совместного применения статического анализа и других методов контроля качества в цикле разработки ПО также рассматривается в докладе.

Презентация

Комментарии

{{comment.AuthorInfo}}
{{ comment.DateCreated | date: 'dd.MM.yyyy' }}
Заметили ошибку?