Публикации: # OS

Все теги:

#Cpp

#CSharp

#Knowledge

#64bit

#GameDev

#StaticAnalysis

#Release

#Security

#DevOps

#Marketing

#Java

#Compiler

#OS

#GuestArticle

#Embedded

#Broadcasting

#Cpp #OS

17 Фев 2016

PVS-Studio покопался в ядре FreeBSD

Святослав Размыслов

Около года назад мы смогли проверить ядро Linux. Это была одна из самых обсуждаемых статей о проверке open-source проекта за всё время. Предложения обратить внимание и на FreeBSD тогда...

...

#Cpp #OS

24 Апр 2015

Проверка операционной системы Haiku (семейство BeOS) с помощью PVS-Studio. Часть 2

Святослав Размыслов

Это заключительная статья о проверке операционной системы Haiku. В первой статье были собраны возможные ошибки различных типов диагностик, но так или иначе связанных с проверкой условий. В...

...

Подписаться на рассылку

Хотите раз в месяц получать от нас подборку вышедших в этот период самых интересных статей и новостей? Подписывайтесь!

* Нажимая на кнопку, вы даете согласие на обработку своих персональных данных. См. Политику конфиденциальности

#Cpp #OS

22 Апр 2015

Проверка операционной системы Haiku (семейство BeOS) с помощью PVS-Studio. Часть 1

Святослав Размыслов

Операционные системы являются одними из самых сложных и крупных проектов в мире программного обеспечения, а значит идеально подходят для демонстрации применения методики статического анализа...

...

#Cpp #OS

03 Янв 2015

PVS-Studio покопался во внутренностях Linux (3.18.1)

Андрей Карпов, Святослав Размыслов

В рекламных целях мы решили попробовать проверить ядро Linux с помощью нашего статического анализатора кода. Эта задача интересна своей сложностью. Исходные коды Linux чем только не проверялись...

...

#Cpp #OS

02 Апр 2013

Большой отчет о повторной проверке проекта ReactOS

Андрей Карпов

Проект ReactOS активно продолжает развиваться. Один из разработчиков, участвующий в этом проекте, предложил вновь проверить исходный код, так как кодовая база быстро увеличивается. С...

...