OSDev
http://osdev.ru/

Неидеальное ядро Linux. Результаты проверки PVS-Studio
http://osdev.ru/viewtopic.php?f=12&t=1197
Страница 1 из 1

Автор:  unicorn [ 13 янв 2017, 14:24 ]
Заголовок сообщения:  Неидеальное ядро Linux. Результаты проверки PVS-Studio

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

Изображение

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

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

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

Автор:  Yoda [ 16 янв 2017, 13:42 ]
Заголовок сообщения:  Re: Неидеальное ядро Linux. Результаты проверки PVS-Studio

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

Автор:  unicorn [ 17 янв 2017, 09:40 ]
Заголовок сообщения:  Re: Неидеальное ядро Linux. Результаты проверки PVS-Studio

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

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

Автор:  dixie [ 18 янв 2017, 11:37 ]
Заголовок сообщения:  Re: Неидеальное ядро Linux. Результаты проверки PVS-Studio

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

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

Автор:  Yoda [ 18 янв 2017, 12:50 ]
Заголовок сообщения:  Re: Неидеальное ядро Linux. Результаты проверки PVS-Studio

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

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

Автор:  dixie [ 18 янв 2017, 16:13 ]
Заголовок сообщения:  Re: Неидеальное ядро Linux. Результаты проверки PVS-Studio

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

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

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

Автор:  Yoda [ 19 янв 2017, 13:35 ]
Заголовок сообщения:  Re: Неидеальное ядро Linux. Результаты проверки PVS-Studio

dixie писал(а):
но это мои личные заморочки.

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

Автор:  dixie [ 22 янв 2017, 13:28 ]
Заголовок сообщения:  Re: Неидеальное ядро Linux. Результаты проверки PVS-Studio

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

Страница 1 из 1 Часовой пояс: UTC + 3 часа
Powered by phpBB® Forum Software © phpBB Group
http://www.phpbb.com/