![][1] Операционные системы являются одними из самых сложных и крупных проектов в мире программного обеспечения, а значит идеально подходят для демонстрации применения методики статического анализа кода. После проверки Linux Kernel, я вдохновился проанализировать и другие открытые операционные системы. [Haiku][2] — свободная операционная система для персональных компьютеров, которая нацелена на двоичную совместимость с операционной системой BeOS. Haiku воплощает в себе основные идеи BeOS. Это модульная система, архитектурно решённая как гибридное ядро: микроядерная архитектура, способная динамически подгружать необходимые модули. Проект для проверки был предложен пользователем, знакомым с продуктом [PVS-Studio][3] и нашей работе по проверке open-source проектов. После сравнительно недавней [проверки Linux Kernel][4], я догадывался, с какими проблемами мне придётся столкнуться и описал их в ответном письме. Неожиданно мне предложили содействие в сборке операционной системы и интеграции анализатора. Дополнительно на официальном сайте была доступна очень обширная документация и я решил попробовать. Через некоторое время я получил долгожданный лог проверки анализатором и после анализа результатов, я решил написать две статьи, описав самые подозрительные на мой взгляд участки кода. Это первая часть. [Читать дальше →][5]

[1]: http://habrastorage.org/getpro/habr/post_images/6d4/8ad/3e0/6d48ad3e0aed4bf7ae5e892107787576.png
[2]: http://www.viva64.com/go.php?url=1530
[3]: http://www.viva64.com/ru/pvs-studio/
[4]: http://www.viva64.com/ru/b/0299/
[5]: http://habrahabr.ru/post/256347/#habracut