LINUX.ORG.RU

Команда PVS-Studio: Свежий взгляд на код Oracle VM VirtualBox

 , , ,


1

5

Использовать свои любимые дистрибутивы Linux в VirtualBox со временем становится затруднительно. В этом на своём опыте убедился Святослав Размыслов из команды PVS-Studio, который опубликовал статью о проверке Oracle VM VirtualBox. По его мнению, с VirtualBox 5.0.XX, стабильность работы программы заметно ухудшилась.

Но вернемся к сути статьи. Мы уже встречались на сайте с работой Святослава и активно её обсуждали. Думаю, есть повод для новой дискуссии о качестве открытых проектов.

Напомню, что разработчики PVS-Studio славятся тем, что в целях рекламы своего продукта регулярно проверяют различные открытые проекты.

Это не первая статья о проверке исходного кода виртуальной машины. Почти два года назад в коде VirtualBox было найдено более 50 ошибок и их описание было опубликовано двумя статьями (1, 2). К счастью, все те предупреждения анализатора разработчики исправили, но качество исходного кода постоянно ухудшается. О чём говорит снижение стабильности последних версий программы и несколько десятков новых ошибок, найденных с помощью PVS-Studio.

Пара слов для программистов, ещё не знакомых с анализатором. Это инструмент для выявления ошибок в исходном коде программ, написанных на языках С, C++ и C#. PVS-Studio выполняет статический анализ кода и генерирует отчёт, помогающий программисту находить и устранять ошибки.

>>> Подробности



Проверено: tailgunner ()
Последнее исправление: tailgunner (всего исправлений: 3)

Ответ на: комментарий от thesis

Ладно, пусть я аналитек плохой, хотя на самом деле просто держусь тона дискуссии, но 3D ускорение в виртуалбоксе никакое.

torvn77 ★★★★★
()
Последнее исправление: torvn77 (всего исправлений: 1)
Ответ на: комментарий от torvn77

Так вроде как virtualbox после появления kvm и libvirt стал не нужно и пользуются им только неосиляторы и некрофилы.

Товарищ, давайте не будем другим людям указывать что им надо использовать. Virtualbox+vagrant вполне себе решение. Причём, зачастую даже удобнее.

true_admin ★★★★★
()
Ответ на: комментарий от EtherealPhantom

1) Что именно технически мешает сделать кросс-платформенный анализатор?

Ничто не мешает. Более того, он есть. Но дело в том, что запускаемый модуль != полноценный платный продукт. Мы лучше считаем, что лучше что-то не делать, чем делать плохо.

2) Понятно, что вы хотите зарабатывать на продукте, ОК. Тогда скажите, за какое количество денег (вообще/в год/...) вы готовы опубликовать исходники (вообще все/наработанные за период) под публичной лицензией (MIT/CC/GPL/...)?

Если честно, вопрос застал в врасплох. Мы как-то никогда не думали про это. Просто не понятно, кто вдруг придёт и захочет сделать из нас opensource. А раз так, то и нечего фантазировать на эту тему. А предложение собрать с сообщества денег, чтобы сделать проект бесплатным, я всерьез рассматривать не могу. Не собираются деньги и тому масса примеров уже звучала в статьях в интернете. Иногда, даже на электричество то не хватает: https://habrahabr.ru/post/209426/

Andrey_Karpov_2009
() автор топика
Ответ на: комментарий от true_admin

А ведь всего то около полугода назад виртуалбокс в треде про виртуализацию был с помпой захоронен.
А теперь какойто vagrant появился.

torvn77 ★★★★★
()
Последнее исправление: torvn77 (всего исправлений: 1)
Ответ на: комментарий от thesis

Видели ли этот анализ разработчики VBox'а? Высказали ли они свое мнение на этот счет?

Видели (мы уведомляем). Потихоньку правят. По крайней мере в прошлый раз исправили то, что мы описали.

Andrey_Karpov_2009
() автор топика
Ответ на: комментарий от torvn77

А ведь всего то около полугода назад виртуалбокс в треде про виртуализацию был с помпой захоронен.

Там были адекватные причины для похорон? Можно ссылочку на тред?

true_admin ★★★★★
()

Молодцы, выбрали хорошую стратегию для рекламы: в выигрыше все - Oracle и пользователи VBox - потому что багов будет меньше, ну и ваша фирма - поскольку имя на слуху.

alt-x ★★★★★
()
Ответ на: комментарий от Andrey_Karpov_2009

не обманывай, ты же сам сказал что продал душу чему-то «темному»

anonymous
()
Ответ на: комментарий от true_admin

Ну писали до выхода версии 5.0, что типа давно апдейтов не было с супер пупер новыми фичами.

fornlr ★★★★★
()
Ответ на: комментарий от paret

Кстати да. Что это?

Вы же поняли, что я про опен сорс.

yacuken ★★★★
()
Ответ на: комментарий от x86_64

Неудачный пример.

Я около года работал с QNX 6-ой под vmware, потому что в Virtualbox полная жесть с ним была.

Разработчики так типа и сказали, 'у нас есть старый код по поддержки QNX, что-то там менять и исправлять не будем, ибо интереса нам в этом ноль'

Было это эдак в 2008 году, ну и так ничего и не поменялось.

ЗЫ: 4ка верю что нормально работала, но даже в 2008 году это попахивало некрофильством.

fornlr ★★★★★
()
Последнее исправление: fornlr (всего исправлений: 1)
Ответ на: комментарий от torvn77

но 3D ускорение в виртуалбоксе никакое

играть в vice city и первый far cry в виртуалке, на железе 8-ми летней давности позволяют - уже неплохо

anonymous
()
Ответ на: комментарий от Andrey_Karpov_2009

А, дык и замечательно. Тогда я вообще не понимаю высказанного в треде недовольства новостью. Всем же хорошо в итоге.

thesis ★★★★★
()
Ответ на: комментарий от anonymous

Дело не в играх, я вот играл вполне нормально и в gta sa (тоже старая игра, но поновее) без всяких пробросов.

Но вот запустить что-нибудь простое для работы с графикой типа microsoft robotics или Unity IDE так и не получилось - глюки и артефакты.

fornlr ★★★★★
()

Спасибо, что размещаете свои новости на ЛОРе, несмотря на закидывание какашками со стороны злобных фанатиков. Надеюсь, убогие не отобьют у вас желания продолжать радовать остальных новыми достижениями, а для вас тут всегда будет хотя бы один умный и добрый собеседник. Успехов и процветания вашему продукту!

anonymous
()
Ответ на: комментарий от Andrey_Karpov_2009

Иногда, даже на электричество то не хватает

Так это раньше было. Теперь дела обстоят гораздо луче.

Odalist ★★★★★
()
Ответ на: комментарий от anonymous

Спасибо, что размещаете свои новости на ЛОРе, несмотря на закидывание какашками со стороны злобных фанатиков. Надеюсь, убогие не отобьют у вас желания продолжать радовать остальных новыми достижениями, а для вас тут всегда будет хотя бы один умный и добрый собеседник. Успехов и процветания вашему продукту!

Залогинтесь, гражданин. Народ должен знать своих героев...

Odalist ★★★★★
()

А вот кстати, Andrey_Karpov_2009 почему б вам не выложить под открытой лицензией исходники своего неудавшегося CppCat? Ведь он сейчас все равно не используется, не продается и не развивается, зачем добру пропадать?

SZT ★★★★★
()
Последнее исправление: SZT (всего исправлений: 1)
Ответ на: комментарий от fornlr

Разработчики так типа и сказали, 'у нас есть старый код по поддержки QNX, что-то там менять и исправлять не будем, ибо интереса нам в этом ноль'

Вот исправили бы, и последнюю рабочую поломали бы. :)

А так, хоть где-то работает.

x86_64 ★★★
()
Ответ на: комментарий от SZT

почему б вам не выложить под открытой лицензией исходники своего неудавшегося CppCat?

Думаешь эти продукты не одну кодовую базу использовали? Смысл им нахаляву свои проверки раздавать, ведь это основная ценность анализатора.

DarkEld3r ★★★★★
()
Ответ на: комментарий от Andrey_Karpov_2009

Иногда, даже на электричество то не хватает: https://habrahabr.ru/post/209426/
OpenBSD

это юродивые от мира опенсорса. за столько лет существования проекта они могли найти силы и время, чтобы добавить кроссплатформенную компиляцию по примеру netbsd https://www.netbsd.org/docs/guide/en/chap-build.html но нет, они месяцами собирают релиз для архаичных vax на музейном экспонате.

ясный хрен, что иногда надо оттестить то или другое на реальном железе, но господи, не надо же ради этого становится фриком с грудой хлама в стойках в гараже, нещадно жрущей электричество 24/7.

anonymous
()
Ответ на: комментарий от anonymous

не надо же ради этого становится фриком с грудой хлама в стойках в гараже, нещадно жрущей электричество 24/7

приму донат на домашнюю компиляционную ферму

anonymous
()
Ответ на: комментарий от DarkEld3r

Ну, описания самих проверок и примернов у них вроде и так не скрываются. А насчет общей кодовой базы - не в курсе.

SZT ★★★★★
()
Ответ на: комментарий от fornlr

Vagrant уже всё (официально)

Ты уверен? Я читал несколько постов чуваков из hashicorp, там было «вагрант устарел, мы выкатили новую тулзу. только она работает поверх вагранта и ещё не готова».

давно апдейтов не было с супер пупер новыми фичами.

Не всем нужны фичи. Я вот сам подумываю на него перейти для винды. Просто удобный инструмент. Например, расшареная папка делается в пару кликов, емнип. Как такое провернуть с qemu? Поднимать самбу?

true_admin ★★★★★
()
Ответ на: комментарий от SZT

почему б вам не выложить под открытой лицензией исходники своего неудавшегося CppCat?

Это очень странное действие. Зачем нам самим себе создавать потенциального бесплатного конкурента? Не вижу для себя никакой пользы от этого.

Andrey_Karpov_2009
() автор топика

Интересно сколько будет стоить лицензия для использования на одном компьютере, continuous integration сервере.

Чтобы можно было запускать анализ из командной строки и получать результаты в виде какого-нибудь xml. Такие xml уже можно было бы сравнивать и видеть изменения в результатах анализа для конкретных коммитов. А иметь анализатор у каждого разработчика на рабочем компьютере, возможно, и удобнее в чем-то, но, проверки при каждой сборке на сервере кажутся достаточными.

kamre ★★★
()
Ответ на: комментарий от Andrey_Karpov_2009

Пиарить на ЛОРе коммерческий продукт, работающий только в винде в вижуалстудии - действие не менее странное :)

SZT ★★★★★
()
Последнее исправление: SZT (всего исправлений: 1)
Ответ на: комментарий от kamre

Интересно сколько будет стоить лицензия для использования на одном компьютере, continuous integration сервере.

Если вы выбираете лицензию для 1-9 человек, то вы платите полную стоимость лицензии не зависимо от того, сколько на самом деле человек будут использовать программу. Мы считаем, что наш продукт полезен проекту в целом, то есть всей команде, а не конкретному человеку, запускающему программу. Поэтому даже если у вас только ОДИН человек из команды физически запускает PVS-Studio, то вы покупаете лицензию на команду до 9 человек.

Подробности предлагаю обсудить в почте: support[@]viva64.com

Andrey_Karpov_2009
() автор топика
Ответ на: комментарий от I-Love-Microsoft

Не отличаем статический анализ от динамического? Укольчик пропустили?

anonymous
()
Ответ на: комментарий от x86_64

Поиздеваться. Как ребенок, показать конфетку и сказать, что тебе никогда не дам. :)

Пока как ребенок ведете себя вы.

Так как цена закрыта, то можно предположить, что система построена на откатах.

Очередной разоблачитель заговоров?

andreyu ★★★★★
()
Ответ на: комментарий от Edible

И нафига они тогда сюда пришли? Тут корпорайций нет, вот пущай и валят откуда пришли с такими закидонами.

Если свалит Andrey_Karpov_2009 или перестанет публиковать отчеты о проверке различного софта, то я опечалюсь. Если свалите вы, то я этого даже не замечу.

andreyu ★★★★★
()
Ответ на: комментарий от SZT

Пиарить на ЛОРе коммерческий продукт, работающий только в винде в вижуалстудии - действие не менее странное :)

Сей пиар несет пользу для открытых продуктов.

andreyu ★★★★★
()
Ответ на: комментарий от andreyu

Пока как ребенок ведете себя вы.

И в чем это выражается? В том что я заметил прикол в целях размещения этой новости данным конкретным человеком?

«У нас есть крутая фича, но мы ее вам не продадим. Мы продаем только корпорациям.»

Если ты скажешь, что это не прикол, тогда я скажу, что у тебя проблема....

Очередной разоблачитель заговоров?

Очерденой наивный вьюнош?

Я лишь информирован для чего использовались подобные цены в двух известных мне конторах. Других вариантов использования подобных цен я не видел.

x86_64 ★★★
()
Ответ на: комментарий от andreyu

Сей пиар несет пользу для открытых продуктов.

Давай я сформулирую.

Они разово проверяют открытый продукт. Сами говорят, что пользы от разовой проверки почти нет. То есть они сами говорят, что пользы от их пиара почти нет.

Это не мои мысли. Это их слова.

x86_64 ★★★
()
Последнее исправление: x86_64 (всего исправлений: 2)
Ответ на: комментарий от x86_64

И в чем это выражается? В том что я заметил прикол в целях размещения этой новости данным конкретным человеком?

Вот в этом:

Я лишь информирован для чего использовались подобные цены в двух известных мне конторах.

Других вариантов использования подобных цен я не видел.

И на этом вы решили, что все поступают так же?

andreyu ★★★★★
()
Ответ на: комментарий от x86_64

Они разово проверяют открытый продукт. Сами говорят, что пользы от разовой проверки почти нет.

Продукт растет, меняется, появляются новые ошибки. Они говорят, что проверять нужно всегда. Что как бы очевидно.

То есть они сами говорят, что пользы от их пиара почти нет.

Так говорят только подобные вам.

Это не мои мысли. Это их слова.

Судя по вашим постам, ваши мысли вообще лучше не выражать где-либо.

andreyu ★★★★★
()
Ответ на: комментарий от andreyu

И на этом вы решили, что все поступают так же?

Я писал, что это вполне вероятно. Вы думаете, что это невероятно?

А вот вы писали, что я страдаю теорией заговора. Ну так с чего вы это решили?

x86_64 ★★★
()
Ответ на: комментарий от x86_64

Я писал, что это вполне вероятно. Вы думаете, что это невероятно?

Какая вам разница, что я думаю.

А вот вы писали, что я страдаю теорией заговора. Ну так с чего вы это решили?

Из этого: Команда PVS-Studio: Свежий взгляд на код Oracle VM VirtualBox (комментарий)

andreyu ★★★★★
()
Ответ на: комментарий от andreyu

Продукт растет, меняется, появляются новые ошибки. Они говорят, что проверять нужно всегда. Что как бы очевидно.

Очевидно.

То есть они сами говорят, что пользы от их пиара почти нет.

Так говорят только подобные вам.

Ниже я писал. Это не мои слова. А их. Они сами это сформулировали. Все претензии к ним самим.

Судя по вашим постам, ваши мысли вообще лучше не выражать где-либо.

Э.... переезд на личности. Как жалко... :(

x86_64 ★★★
()
Ответ на: комментарий от Andrey_Karpov_2009

Ну, я бы предложил не фантазировать, а провести количественный анализ. Собрать всех, заинтересованных в открытии исходников PVSS (не вообще, а только конкретной версии), узнать, сколько они готовы в это вложить (S1), просуммировать и сравнить с желаемым числом (S2). Далее опубликовать результаты сравнения. Если окажется S1<S2, вам нужно дальше активно пытаться заинтересовать людей в продукте, если S1>=S2 вы одномоментно получаете эти ресурсы на развитие проекта в добавок к имеющимся. При этом у коммерческой версии конкурентное преимущество сохраняется, т.к. вы продолжаете ее развивать и ней постоянно появляются новые уникальные фичи.

EtherealPhantom
()
Ответ на: комментарий от andreyu

Сей пиар несет пользу для открытых продуктов.

Сами проверки может и несут какую-то пользу, а вот насчет именно пиара - сомневаюсь

SZT ★★★★★
()
Ответ на: комментарий от x86_64

Ниже я писал. Это не мои слова. А их. Они сами это сформулировали. Все претензии к ним самим.

То, что вы не умеете понимать написанное не проблема разработчиков.

Э.... переезд на личности. Как жалко... :(

Это сугубо тыканье вас в ваши же слова, не более.

andreyu ★★★★★
()
Ответ на: комментарий от x86_64

Ну и как из этого может следовать? Какая логика должна быть?

Вы не умеете ни в чужие мысли, ни в свои. Это печально.

andreyu ★★★★★
()
Ответ на: комментарий от EtherealPhantom

Ну, я бы предложил не фантазировать, а провести количественный анализ.

Как здорово, что вы знаете что должны делать другие. Здорово, что вы можете направить их труд в правильное русло. Вам в депутаты нужно.

andreyu ★★★★★
()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.