BSDPORTAL.RU

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

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




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

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

_________________
Ми можемо все - що здатні собі уявити!
uname -a
Linux nonamehost 4.12.12-zen+ #5 ZEN SMP Thu Sep 14 08:50:28 EEST 2017 x86_64 x86_64 x86_64 GNU/Linux


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

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


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

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


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

_________________
Ми можемо все - що здатні собі уявити!
uname -a
Linux nonamehost 4.12.12-zen+ #5 ZEN SMP Thu Sep 14 08:50:28 EEST 2017 x86_64 x86_64 x86_64 GNU/Linux


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

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


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

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

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

_________________
Ми можемо все - що здатні собі уявити!
uname -a
Linux nonamehost 4.12.12-zen+ #5 ZEN SMP Thu Sep 14 08:50:28 EEST 2017 x86_64 x86_64 x86_64 GNU/Linux


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

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


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

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


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

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