BSDPORTAL.RU
http://www.bsdportal.ru/

PVS-Studio покопался в ядре FreeBSD
http://www.bsdportal.ru/viewtopic.php?f=7&t=27732
Страница 1 из 1

Автор:  fidaj [ Чт 18 фев, 2016 2:09 am ]
Заголовок сообщения:  PVS-Studio покопался в ядре FreeBSD

"Program Verification Systems" компания проверила своим статистическим анализатором кода исходный код ядра FreeBSD.
Подробности по ссылке http://www.viva64.com/ru/b/0377/

Автор:  AMDmi3 [ Чт 18 фев, 2016 3:44 am ]
Заголовок сообщения:  Re: PVS-Studio покопался в ядре FreeBSD

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

Автор:  fidaj [ Чт 18 фев, 2016 12:06 pm ]
Заголовок сообщения:  Re: PVS-Studio покопался в ядре FreeBSD

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


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

Автор:  arrowdodger [ Чт 18 фев, 2016 6:44 pm ]
Заголовок сообщения:  Re: PVS-Studio покопался в ядре FreeBSD

А почему кланговский scan-build в CI не вставили? Высокий процент ложных срабатываний?

Автор:  fidaj [ Чт 18 фев, 2016 7:03 pm ]
Заголовок сообщения:  Re: PVS-Studio покопался в ядре FreeBSD

arrowdodger писал(а):
А почему кланговский scan-build в CI не вставили? Высокий процент ложных срабатываний?

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

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