Статический анализ встроен в разработку KasperskyOS и помогает нам проверять код наряду с фаззингом, динамическим анализом, полуформальными методами и пентестами.
С 2016 года мы в KasperskyOS используем статический анализатор PVS-Studio. Кроме получения списка предупреждений, нам важно контролировать полноту проверки, воспроизводить результаты и задавать разные правила для частей проекта. Когда возможностей анализатора не хватает, мы обращаемся к его разработчикам и зачастую результатом становится доработка функциональности. Так в анализаторе появились диагностическое логирование, интеграция с CodeChecker, поиск устаревших подавлений и отдельные настройки каталогов. Доработки вошли в стандартные релизы PVS-Studio и стали доступны всем пользователям.
Одним из успешных кейсов стала новая утилита pvs-fp-cleaner, предназначенная для поиска устаревших маркеров подавления. В кодовой базе KasperskyOS она нашла 74 устаревших маркера подавления из 250. Почти треть комментариев уже не влияла на результаты анализа, но оставалась в коде.
Данная утилита не только улучшает читаемость кода, но и поднимает «боевой дух» команды – ведь чем больше анализатор «фолзит», тем больше у конкретного разработчика желания подавить предупреждение, не вдаваясь в подробности.
Читайте полную статью о том, как техническая задача от команды разработки KasperskyOS проходит путь до функции в очередном релизе PVS-Studio.
Статический анализ встроен в разработку KasperskyOS и помогает нам проверять код наряду с фаззингом, динамическим анализом, полуформальными методами и пентестами.
С 2016 года мы в KasperskyOS используем статический анализатор PVS-Studio. Кроме получения списка предупреждений, нам важно контролировать полноту проверки, воспроизводить результаты и задавать разные правила для частей проекта. Когда возможностей анализатора не хватает, мы обращаемся к его разработчикам и зачастую результатом становится доработка функциональности. Так в анализаторе появились диагностическое логирование, интеграция с CodeChecker, поиск устаревших подавлений и отдельные настройки каталогов. Доработки вошли в стандартные релизы PVS-Studio и стали доступны всем пользователям.
Одним из успешных кейсов стала новая утилита pvs-fp-cleaner, предназначенная для поиска устаревших маркеров подавления. В кодовой базе KasperskyOS она нашла 74 устаревших маркера подавления из 250. Почти треть комментариев уже не влияла на результаты анализа, но оставалась в коде.
Данная утилита не только улучшает читаемость кода, но и поднимает «боевой дух» команды – ведь чем больше анализатор «фолзит», тем больше у конкретного разработчика желания подавить предупреждение, не вдаваясь в подробности.
Читайте полную статью о том, как техническая задача от команды разработки KasperskyOS проходит путь до функции в очередном релизе PVS-Studio.
Подпишитесь на наши сообщества и получите ссылку на дистрибутив в чате
![«Многое в малом»: микросериал про микроядерную ОС [Видео]](https://os.kaspersky.ru/wp-content/uploads/sites/29/2022/06/series_cover.jpg)
