Часто люди, которые знакомятся с нашим анализатором, делают следующую вещь. Они проверяют какой-нибудь известный проект. Сохраняют результат анализа в текстовый файл. И отправляют...
Основная задача команды PVS-Studio - работа над статическим анализатором кода. Да, работу программиста нельзя назвать бесконечным праздником, но это не значит, что трудовые будни нашей команды...
Для корпорации Microsoft в последнее время стало 'доброй традицией' открывать исходные коды своих программных продуктов. Тут можно вспомнить про CoreFX, .Net Compiler Platform (Roslyn...
Около двух месяцев назад я написал статью о проверке компилятора GCC с помощью анализатора PVS-Studio. Идея статьи была следующая: предупреждения GCC - это хорошо, но недостаточно. Надо...
Продолжаем цикл статей, посвященных важности качества программного кода в системах, отказ работоспособности которых приводит к огромным денежным тратам или человеческим жертвам. В этот раз...
Как уже известно нашим читателям, статический анализатор PVS-Studio пробует себя в Linux, и, как можно было заметить по предыдущим статьям, у него это отлично получается. В этой статье показано...
Казалось бы, Chromium был рассмотрен нами неоднократно. Внимательный читатель задастся логичным вопросом: "Зачем нужна еще одна проверка? Разве было недостаточно?". Бесспорно, код Chromium...
Свершилось! Сегодня мы выпустили публичную версию анализатора PVS-Studio для Linux. Теперь разработчики Linux приложений получат новое мощное оружие для борьбы с багами в коде. Призываем разнести...