OSDev http://osdev.su/ |
|
Неидеальное ядро Linux. Результаты проверки PVS-Studio http://osdev.su/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/ |