OSDev

для всех
Текущее время: 22 ноя 2017, 23:07

Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  [ Сообщений: 8 ] 
Автор Сообщение
СообщениеДобавлено: 13 янв 2017, 14:24 

Зарегистрирован: 13 янв 2017, 14:19
Сообщения: 2
Проверка Linux Kernel с помощью PVS-Studio для Linux

Изображение

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

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

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


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: 16 янв 2017, 13:42 
Аватара пользователя

Зарегистрирован: 14 мар 2011, 12:31
Сообщения: 938
Откуда: Дагоба
Добро пожаловать уважаемому проекту на наш форум.
Рад слышать, что теперь ваш продукт бесплатно доступен для разработчиков-одиночек, коими являются экспериментаторы в области создания ОС.
Мне кажется, что вы пошли на риск, т.к. с одной стороны недобросовестные разработчики могут воспользоваться вашим продуктом, но с другой стороны, такой шаг является хорошей рекламой, поскольку студенты и индивидуальные разработчики, овладев 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. >>>


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: 17 янв 2017, 09:40 

Зарегистрирован: 13 янв 2017, 14:19
Сообщения: 2
Спасибо большое за теплые слова, рады стараться для наших пользователей!

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


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: 18 янв 2017, 11:37 

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

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


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: 18 янв 2017, 12:50 
Аватара пользователя

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

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

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

<<< OS Boot Tools. >>>


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: 18 янв 2017, 16:13 

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

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

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


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: 19 янв 2017, 13:35 
Аватара пользователя

Зарегистрирован: 14 мар 2011, 12:31
Сообщения: 938
Откуда: Дагоба
dixie писал(а):
но это мои личные заморочки.

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

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

<<< OS Boot Tools. >>>


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: 22 янв 2017, 13:28 

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


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 8 ] 

Часовой пояс: UTC + 3 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 1


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Перейти:  
Создано на основе phpBB® Forum Software © phpBB Group
Русская поддержка phpBB