OSDev

Проверка Linux Kernel с помощью PVS-Studio для Linux



Выход публичной Linux-версии PVS-Studio стал отличным поводом для проверки ядра Linux.

Проект пишется профессионалами, широко используется во всем мире и, на первый взгляд, не должен иметь ошибок в коде. Но, как показала проверка, даже столь качественный продукт имеет изъяны. Опечатки, неиспользуемые переменные, путаница в приоритетах операций – эти и некоторые другие ошибки обнаружились во время проверки ядра Linux.

Мораль? Даже крупные проекты, прошедшие многократное тестирование, нуждаются в качественном статическом анализе кода. Доказательства по ссылке http://www.viva64.com/ru/b/0460/

Добро пожаловать уважаемому проекту на наш форум.
Рад слышать, что теперь ваш продукт бесплатно доступен для разработчиков-одиночек, коими являются экспериментаторы в области создания ОС.
Мне кажется, что вы пошли на риск, т.к. с одной стороны недобросовестные разработчики могут воспользоваться вашим продуктом, но с другой стороны, такой шаг является хорошей рекламой, поскольку студенты и индивидуальные разработчики, овладев PVS Studio, смогут аргументированно предлагать и продвигать его в тех компаниях, в которых работают.
Дай Бог вам удачи!

_________________
Yet Other Developer of Architecture.
The mistery of Yoda’s speech uncovered is:
Just an old Forth programmer Yoda was.
<<< OS Boot Tools. >>>

Спасибо большое за теплые слова, рады стараться для наших пользователей!

Если Вам необходима помощь с установкой PVS-Studio или консультация по работе с анализатором, Вы можете связаться со мной по почте sf@pvs-studio.com и я с удовольствием отвечу на Ваши вопросы!

Ну, т.е. до выхода linux-версии повода проверить ядро не было?
Вообще подобное впаривание этого продукта не первый раз уже наблюдаю, хотя практически не шарюсь по программерским сайтам.

Хотя, вещь в какой-то степени полезная - не спорю.

А как вы проверите ядро отдельно? Там ведь куча зависимостей и такая проверка – это почти компиляция.
Я не вижу здесь "впаривания", ведь вам предлагают его совершенно бесплатно. Люди очень щедры, а вы сильно недооцениваете сложность подобной разработки. Для неё необходимы лексический анализ, препроцессор, парсер, проверка типов и глубокий семантический анализ для поиска потенциальных ошибок. Уверяю вас, что даже самая простая фаза, – лексический анализ для языков С/С++, – страшная головная боль и кошмарный сон программиста. Про остальное вообще молчу.

unicorn, спасибо за предложение. Обязательно установлю и попробую с ней поработать.

_________________
Yet Other Developer of Architecture.
The mistery of Yoda’s speech uncovered is:
Just an old Forth programmer Yoda was.
<<< OS Boot Tools. >>>

Не вижу никакой щедрости (ведь, наверняка существуют "нелицензионные копии", уж извините).
А следовательно - это обычный рекламный шаг, чтобы прикормить gnu-тое сообщество. Впрочем, кому какое дело, конечно - меня, просто, подобное лицемерие слегка раздражает, но это мои личные заморочки.

И лексический анализ и препроцессор и прочее - не такая уж головная боль, хотя сложно и объёмно, само собой. Анализ - уже интересней. В общем, вещь вполне полезная для коммерческих проектов - описки никто не отменял. Даже, пусть, 10% найденных проблем - уже хорошо...

А для этого сайта - оно скорее во вред Чем больше ошибок в коде, тем быстрее дойдут руки до написания средств отладки, да?

Хорошо, что вы хоть это осознаёте. Плохо, когда человек бесплатно пользуется плодами чужого труда (компиляторы, ассемблеры, отладчики, редакторы, эмуляторы, инструменты статического анализа кода...) и вместо благодарности (в душе, не обязательно на словах) ругает не по делу. Пора завязывать с оффтопом.

_________________
Yet Other Developer of Architecture.
The mistery of Yoda’s speech uncovered is:
Just an old Forth programmer Yoda was.
<<< OS Boot Tools. >>>

Не приписывайте мне того, чего я не делаю, пожалуйста.
Предпочитаю вообще не пользоваться софтом с GNU лицензией, если есть иные варианты.
Впрочем, да, оффтоп.