"У нас очень строгий контроль за выполнением требований SDL (Secure Development Lifecycle)/РБПО, поэтому мы не можем допустить ситуации, когда по какой-либо причине — из-за ошибки программиста или сбоя в скриптах запуска — будет выполнен неполный прогон статического анализа. Поэтому наличие артефактов-доказательств полноты статического анализа для нас критично. А машиночитаемый формат позволяет автоматизировать обработку, в том числе и для создания "карты покрытия" статическим анализом."

Максим Жуков, Старший разработчик группы разработки тулчейнов KasperskyOS, "Лаборатория Касперского"

"Лаборатория Касперского" использует PVS-Studio в разработке операционной системы KasperskyOS с 2016 года. За это время некоторые обращения разработчиков в нашу поддержку превратились в новые функции анализатора, доступные теперь всем пользователям PVS-Studio.

Разбираем пять таких случаев и показываем, как обратная связь корпоративного клиента влияет на развитие продукта. Подробности по ссылке 🔗

📲Мы в MAX

#PVS_Studio #кейс