BSDPORTAL.RU

На этом сайте обсуждаются вопросы использования ОС FreeBSD
 Портал  •  Статьи  •  Форум  •  Wiki  •  Поиск  •  FAQ  •  Обои  •   Официальная документация  •  Новые темы 

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




Начать новую тему Ответить на тему  [ Сообщений: 5 ] 
Автор Сообщение
 Заголовок сообщения: PVS-Studio покопался в ядре FreeBSD
СообщениеДобавлено: Чт 18 фев, 2016 2:09 am 
Не в сети

Зарегистрирован: Вс 05 июн, 2005 4:19 pm
Сообщения: 3131
Откуда: Мезозой Пангея
"Program Verification Systems" компания проверила своим статистическим анализатором кода исходный код ядра FreeBSD.
Подробности по ссылке http://www.viva64.com/ru/b/0377/

_________________
Ми можемо все - що здатні собі уявити!
uname -a
Linux nonamehost 4.16.13-zen+ #11 ZEN SMP PREEMPT Fri Jun 1 00:08:33 EEST 2018 x86_64 x86_64 x86_64 GNU/Linux


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: PVS-Studio покопался в ядре FreeBSD
СообщениеДобавлено: Чт 18 фев, 2016 3:44 am 
Не в сети
Модератор

Зарегистрирован: Сб 11 сен, 2004 6:33 am
Сообщения: 5171
Откуда: Москва
Это, увы, всего лишь очередной пиар сипровера. Статический анализ, о чём они сами же регулярно пишут, должен проводиться регулярно (на уровне CI, вообще говоря), а от одной точечной проверки проекту ни горячо, ни холодно, к тому же проверена лишь малая часть кода. При этом на опенсорс им глубоко наплевать - инструмент банально windows-only, даже не говорю о том чтобы открыть сервис как у coverity или раздавать лицензии свободным проектам.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: PVS-Studio покопался в ядре FreeBSD
СообщениеДобавлено: Чт 18 фев, 2016 12:06 pm 
Не в сети

Зарегистрирован: Вс 05 июн, 2005 4:19 pm
Сообщения: 3131
Откуда: Мезозой Пангея
AMDmi3 писал(а):
Это, увы, всего лишь очередной пиар сипровера. Статический анализ, о чём они сами же регулярно пишут, должен проводиться регулярно (на уровне CI, вообще говоря), а от одной точечной проверки проекту ни горячо, ни холодно, к тому же проверена лишь малая часть кода. При этом на опенсорс им глубоко наплевать - инструмент банально windows-only, даже не говорю о том чтобы открыть сервис как у coverity или раздавать лицензии свободным проектам.


В нашей жизни уже практически всё стало пиаром.
Если с этого пиара хоть какую-то пользу можно извлечь - то ее нужно извлекать.

_________________
Ми можемо все - що здатні собі уявити!
uname -a
Linux nonamehost 4.16.13-zen+ #11 ZEN SMP PREEMPT Fri Jun 1 00:08:33 EEST 2018 x86_64 x86_64 x86_64 GNU/Linux


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: PVS-Studio покопался в ядре FreeBSD
СообщениеДобавлено: Чт 18 фев, 2016 6:44 pm 
Не в сети

Зарегистрирован: Чт 14 май, 2009 6:56 pm
Сообщения: 761
А почему кланговский scan-build в CI не вставили? Высокий процент ложных срабатываний?


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: PVS-Studio покопался в ядре FreeBSD
СообщениеДобавлено: Чт 18 фев, 2016 7:03 pm 
Не в сети

Зарегистрирован: Вс 05 июн, 2005 4:19 pm
Сообщения: 3131
Откуда: Мезозой Пангея
arrowdodger писал(а):
А почему кланговский scan-build в CI не вставили? Высокий процент ложных срабатываний?

Если вопрос ко мне - то для меня это загадка - могу только предполагать.
Регулярно проверяют при помощи этого https://scan.coverity.com/projects/freebsd хотя оно теже яйца только в профиль что и по SUBJ.

_________________
Ми можемо все - що здатні собі уявити!
uname -a
Linux nonamehost 4.16.13-zen+ #11 ZEN SMP PREEMPT Fri Jun 1 00:08:33 EEST 2018 x86_64 x86_64 x86_64 GNU/Linux


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

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


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

Зарегистрированные пользователи: Bing [Bot], Google [Bot], Google Feedfetcher


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

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