Вариант для распечатки		Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Режим отображения отдельной подветви беседы		[ Отслеживать ]

Выпуск VirtualBox 6.0.6, opennews (?), 17-Апр-19, (0) [смотреть все] –1 Когда уже с уязвимостями будет покончено раз и навсегда и что нужно для этого сд, Анонимс (?), 12:23 , 17-Апр-19, (1) –10   // Перестать разрабатывать и или использовать vbox Тогда для вас с уязвимостями в , anonymous (??), 12:44 , 17-Апр-19, (6) +5   // Может Вы ещё предложите перестать включать и пользоваться компьютером Дополню во, Анонимс (?), 13:03 , 17-Апр-19, (7) –7   // к нулю не получится, т к не существует людей не допускающих ошибок, Аноним (8), 13:16 , 17-Апр-19, (8) +10   Скрыто модератором, nm0i (ok), 14:24 , 17-Апр-19, (18) +1   Скрыто модератором, Аноним (8), 14:39 , 17-Апр-19, (19) +2   Скрыто модератором, Аноним (46), 12:59 , 18-Апр-19, (46)   Coq, B-Method, Event-B, Isabelle и еще вагон и маленькая тележка 8211 полная , Аноним84701 (ok), 13:22 , 17-Апр-19, (9) +1   Никакая формальная верификация не может гарантировать отсутствие логических ошиб, Аноним (31), 19:30 , 17-Апр-19, (31)   И гарантий от метеорита тоже не дает И от недетектируемого ECC битфлипа из-за к, Аноним84701 (ok), 19:40 , 17-Апр-19, (32)   Это не баловство и нужно, но не поможет 171 покончить с уязвимостями раз и нав, Аноним (31), 21:42 , 17-Апр-19, (35) –1   А давайте тогда без передерга или хотя бы развернуто, а А то можно сразу Тюринг, Аноним84701 (ok), 22:08 , 17-Апр-19, (36) +1   2 2 питона или что-то типа programmer year Строчек то вроде много, насколько эт, пр (?), 12:38 , 18-Апр-19, (43)   Person years Строчек конечного кода немного - 8000, остальное обвязка проверки Г, Аноним (49), 23:33 , 18-Апр-19, (49)   Людям, имеющим привычку впадать в крайности, возможно и не стоит пользоваться Н, anonymous (??), 13:52 , 17-Апр-19, (15)   вообще-то если у вбокса и остался какой-то смысл, так это тот, что он-то как раз, нах (?), 11:21 , 19-Апр-19, (52)   Для тех, кто в танке vbox ни разу не предназначался для корпоративного использо, SysA (?), 16:02 , 17-Апр-19, (22)   надо же, а сановцы-то и не знали система для персонального использования - с , нах (?), 11:18 , 19-Апр-19, (51)   наконец-то, iPony (?), 12:26 , 17-Апр-19, (2) qemu kvm рулит и педалит , Аноним (3), 12:29 , 17-Апр-19, (3) +1 // У кого что болит , Аноним (11), 13:27 , 17-Апр-19, (11) расскажешь рабочей ссылочкой как нормальный звук из виндов-гостей на kvm-хосте у, Аноним (21), 15:29 , 17-Апр-19, (21) –1 // KVM не для игрулек, он чтоб работу работать , Аноним (23), 16:06 , 17-Апр-19, (23) // Не угадал У меня там в винде собраны все виды мессенджеров с контактами по рабо, Аноним (21), 16:27 , 17-Апр-19, (27) там с десяток эмулируемых карт, можеш все сразу выбрать или перебрать те которые, анон (?), 18:06 , 17-Апр-19, (30) Через SPICE пробовали , Аноним (33), 20:07 , 17-Апр-19, (33) rdp не Или на твоем же компе виртуалка в квм и запущена Для декстопа то коробк, пр (?), 12:41 , 18-Апр-19, (44) Некоторым внезапно надо со звуком работу работать , Аноним (28), 16:31 , 17-Апр-19, (28) Если у тебя пульса, то вот - https passthroughpo st how-to-patch-qemu-and-fix-, anonymous (??), 16:09 , 17-Апр-19, (24) // Впрочем, для альсы там тоже есть инструкция, но её я не пробовал , anonymous (??), 16:11 , 17-Апр-19, (26) А в чём проблема Использую устройство, которое virt-manager ставит по стандарту, Тот кого нельзя называть (?), 16:09 , 17-Апр-19, (25) +2 // Ну вы тоже сравнили У вас судя по линку Fedora, при всех её минусах, её делают , leap42 (ok), 04:56 , 18-Апр-19, (39) Да нормальное Свои LTS версии ядра поддерживают, LivePatch для патченья на лету, iPony (?), 06:53 , 18-Апр-19, (41) У меня после апдейта на 6 упала сильно производительность ио Пол дня мусолит та, Аноним (4), 12:43 , 17-Апр-19, (4) –1 // Всмысле не зависит от ос которая виртуализирована, Аноним (4), 12:44 , 17-Апр-19, (5) –1 Они намекают что уже пора заплатить , Аноним (11), 13:26 , 17-Апр-19, (10) Так если qemu работает зачем вам вообще vbox Чем вот это bin bashqemu-system-, leap42 (ok), 05:00 , 18-Апр-19, (40) // тут на 14 строк в скрипте больше чем нужно для запуска онтопика Не благодарите , пр (?), 12:43 , 18-Апр-19, (45) –1 // только вот эти 14 строк на самом деле - одна запускают не ненужно-гуй онтопика, нах (?), 14:42 , 18-Апр-19, (47) ВАХ , ryoken (ok), 13:32 , 17-Апр-19, (12) +6 // Слава богу мы дожили, Тот (?), 13:46 , 17-Апр-19, (14) +2 Они уже исправили вылеты, при воспроизведении звука , Skullnet (?), 13:35 , 17-Апр-19, (13) –1 OS 2 еще жива Я в ауте , Аноним (16), 13:58 , 17-Апр-19, (16) –1 // Ну и сидите там дальше D Это вы ещё про eComstation ArcaOS не слышали, видимо, ryoken (ok), 14:20 , 17-Апр-19, (17) // Это у вас называется жива мда , Аноним (23), 14:56 , 17-Апр-19, (20) Увидел 6 0_6 0-6 и ужаснулся , Аноним (29), 16:33 , 17-Апр-19, (29) –1 // погоди еще 6 6 6 релизнут, gsdh (?), 00:00 , 18-Апр-19, (38) Сижу на 5 2 х, ибо 6 х - тормозное даже с SSD Первый стартует мгновенно - , Аноним (34), 21:22 , 17-Апр-19, (34) –1 // Ибо старое слабое железо, Аноним (37), 23:05 , 17-Апр-19, (37) –1 Не ведитесь, сидите на 5 x Да, глючит чуть меньше и чуть по-другому, но все рав, Аноним (42), 07:45 , 18-Апр-19, (42) Где то накосячили Под арчем в 6 0 6 венда не грузится, вылетает с синим экраном, Аноним (50), 23:39 , 18-Апр-19, (50) –1 1,2,3,4,12,13,16,29,34,42,50

Сообщения

[Сортировка по времени | RSS]

1. "Выпуск VirtualBox 6.0.6"	–10 +/–
Сообщение от Анонимс (?), 17-Апр-19, 12:23
> устранено 12 уязвимостей, из которых 7 имеют критическую степень опасности (CVSS Score 8.8) Когда уже с уязвимостями будет покончено раз и навсегда и что нужно для этого сделать? > устранены проблемы, продемонстрированные на соревновании Pwn2Own 2019 и позволяющие из окружения гостевой системы выполнить код на стороне хост-системы Страшный сон и головная боль для админов, которые используют в своей работе vbox.
Ответить | Правка | Наверх | Cообщить модератору

	6. "Выпуск VirtualBox 6.0.6"	+5 +/–
	Сообщение от anonymous (??), 17-Апр-19, 12:44
	> Когда уже с уязвимостями будет покончено раз и навсегда и что нужно для этого сделать? Перестать разрабатывать и/или использовать vbox. Тогда для вас с уязвимостями в vbox будет покончено. > Страшный сон и головная боль для админов, которые используют в своей работе vbox. ССЗБ.
	Ответить | Правка | Наверх | Cообщить модератору

	7. "Выпуск VirtualBox 6.0.6"	–7 +/–
	Сообщение от Анонимс (?), 17-Апр-19, 13:03
	> Перестать разрабатывать и/или использовать vbox. Тогда для вас с уязвимостями в vbox будет покончено. Может Вы ещё предложите перестать включать и пользоваться компьютером. > Когда уже с уязвимостями будет покончено раз и навсегда и что нужно для этого сделать? Дополню вопрос, существуют ли техники программирования, языки и инструменты, используя которые можно свести наличие уязвимостей к нулю? Или человечеству ещё только предстоит придумать и изобрести какие-нибудь квантовые компьютеры, неподверженные уязвимостям и взлому?
	Ответить | Правка | Наверх | Cообщить модератору

	8. "Выпуск VirtualBox 6.0.6"	+10 +/–
	Сообщение от Аноним (8), 17-Апр-19, 13:16
	к нулю не получится, т.к. не существует людей не допускающих ошибок
	Ответить | Правка | Наверх | Cообщить модератору

	18. Скрыто модератором	+1 +/–
	Сообщение от nm0i (ok), 17-Апр-19, 14:24
	Мертвые не ошибаются.
	Ответить | Правка | Наверх | Cообщить модератору

	19. Скрыто модератором	+2 +/–
	Сообщение от Аноним (8), 17-Апр-19, 14:39
	какие ваши доказательства?
	Ответить | Правка | Наверх | Cообщить модератору

	46. Скрыто модератором	+/–
	Сообщение от Аноним (46), 18-Апр-19, 12:59
	> Мертвые не ошибаются. Враки! "Морским пехотинцам запрещено умирать без разрешения ибо тогда они не выполнят приказ!" (c) Fullmetall jacket
	Ответить | Правка | К родителю #18 | Наверх | Cообщить модератору

	9. "Выпуск VirtualBox 6.0.6"	+1 +/–
	Сообщение от Аноним84701 (ok), 17-Апр-19, 13:22
	> Дополню вопрос, существуют ли техники программирования, языки и инструменты, используя > которые можно свести наличие уязвимостей к нулю? Coq, B-Method, Event-B, Isabelle и еще вагон и маленькая тележка – полная формальная верификация постарше многих анонимов будет. Однако, есть одно "маленькое" НО: На примере seL4 c его формальной верификацией корректности: https://www.sigops.org/sosp/sosp09/papers/klein-sosp09.pdf > Abstract > complete formal verification is the only known way to guarantee that a system is free of programming errors. [...] > f L4 provenance, comprises 8,700 lines of C code and 600 lines of assembler. [...] > The overall size of the proof, including framework, libraries, and generated proofs (not shown in the table) is 200,000 lines of Isabelle script. >  The abstract spec took about 4 person months (pm) to develop. About 2 person years (py) went into the Haskell prototype (over all project phases), including design, documentation, coding, and testing. for a total cost of 2.2 py Т.е. > 8,700 lines of C code and 600 lines of assembler. > 2.2 py Причем, эти совсем не 2 человеко-года "пэхапэшникус-вульгарисов" будут. Поэтому вопрос нужно ставить скорее так: Существуют ли желающие оплатить такую разработку?
	Ответить | Правка | К родителю #7 | Наверх | Cообщить модератору

	31. "Выпуск VirtualBox 6.0.6"	+/–
	Сообщение от Аноним (31), 17-Апр-19, 19:30
	Никакая формальная верификация не может гарантировать отсутствие логических ошибок.
	Ответить | Правка | Наверх | Cообщить модератору

	32. "Выпуск VirtualBox 6.0.6"	+/–
	Сообщение от Аноним84701 (ok), 17-Апр-19, 19:40
	> Никакая формальная верификация не может гарантировать отсутствие логических ошибок. И гарантий от метеорита тоже не дает. И от недетектируемого ECC битфлипа из-за космического излучения или дефекта в материале и прочем - в общем, да, на самом деле это все  "баловство и нинужна!".
	Ответить | Правка | Наверх | Cообщить модератору

	35. "Выпуск VirtualBox 6.0.6"	–1 +/–
	Сообщение от Аноним (31), 17-Апр-19, 21:42
	Это не баловство и нужно, но не поможет «покончить с уязвимостями раз и навсегда».
	Ответить | Правка | Наверх | Cообщить модератору

	36. "Выпуск VirtualBox 6.0.6"	+1 +/–
	Сообщение от Аноним84701 (ok), 17-Апр-19, 22:08
	> но не поможет «покончить с уязвимостями раз и навсегда». А давайте тогда без передерга или хотя бы развернуто, а? А то можно сразу Тюринга и "проблему остановки" упомянуть, больше ничего и не надо. Вообще-то, речь шла о "свести наличие уязвимостей к нулю". Кстати, моделирование и описание логики на высоком уровне (мат-модель) и последующая реализация на более "низком" очень неплохо помогает отлавливать логические ошибки типа "хотел сделать то, но на самом деле сделал вот это" даже одному разработчику (потому что задача формулируется на двух разных языках, шанс что мозг "прокеширует" и "замылится" на одной и той же детали, соотв. ниже). Так же, в ожидании очередного "верификация не поможет от всего поэтому: Нинужно" специально было процитировано из Abstract "a system is free of programming errors" (ошибки в логике, это  "logic errors" и идут отдельным пунктом). хотя  из интересного там вообще вот это: > the formal verification has uncovered another 144 defects  and resulted in 54 further changes to the code to aid in the proof. > None of the bugs found in the C verification stage were deep in the sense that the corresponding algorithm was flawed. This is because the C code was written according to a very precise, low-level specification which was already verified in the first refinement stage. > Algorithmic bugs found in the first stage were mainly missing checks on user assumptions >  The bugs discovered in the second proof from executable spec to C were mainly typos, misreading the specification, or failing to update all relevant code parts for specification changes. Simple typos also made up a surprisingly large fraction of discovered Т.е. нашли 144 ошибки на 8000 строк кода, причем алгоритмические и прочие "высокоуровневые" ошибки ловоились еще до написания С кода, во время рефайнмента. Вряд ли обычный, неверифицируемый код сильно отличается, плюс там еще и спецификацию никто не проверяет.
	Ответить | Правка | Наверх | Cообщить модератору

	43. "Выпуск VirtualBox 6.0.6"	+/–
	Сообщение от пр (?), 18-Апр-19, 12:38
	2.2 питона или что-то типа programmer year? Строчек то вроде много, насколько это дороже обычных языков?
	Ответить | Правка | К родителю #9 | Наверх | Cообщить модератору

	49. "Выпуск VirtualBox 6.0.6"	+/–
	Сообщение от Аноним (49), 18-Апр-19, 23:33
	> 2.2 питона или что-то типа programmer year? Строчек то вроде много, насколько > это дороже обычных языков? Person years: > person months (pm) to develop. About 2 person years (py) went into the Haskell prototype Строчек конечного кода немного - 8000, остальное обвязка проверки. Грубо и прикидочно - раз в 10-20,т.е. на порядок, плюс-минус лапоть.
	Ответить | Правка | Наверх | Cообщить модератору

	15. "Выпуск VirtualBox 6.0.6"	+/–
	Сообщение от anonymous (??), 17-Апр-19, 13:52
	> Может Вы ещё предложите перестать включать и пользоваться компьютером. Людям, имеющим привычку впадать в крайности, возможно и не стоит пользоваться. Но вообще-то альтернативы виртуалбоксу есть на всех платформах, их и стоит использовать.
	Ответить | Правка | К родителю #7 | Наверх | Cообщить модератору

	52. "Выпуск VirtualBox 6.0.6"	+/–
	Сообщение от нах (?), 19-Апр-19, 11:21
	> Людям, имеющим привычку впадать в крайности, возможно и не стоит пользоваться. Но вообще-то > альтернативы виртуалбоксу есть на всех платформах вообще-то если у вбокса и остался какой-то смысл, так это тот, что он-то как раз почти на всех платформах, а "альтернативы" - каждая на своей. На xen надежды мало, а больше ничего и тем более не будет.
	Ответить | Правка | Наверх | Cообщить модератору

	22. "Выпуск VirtualBox 6.0.6"	+/–
	Сообщение от SysA (?), 17-Апр-19, 16:02
	Для тех, кто в танке: vbox ни разу не предназначался для корпоративного использования! Это система персонального пользования. Точка. И если народные умельцы - админы локалхостов как-то приспосабливают его в качестве многопользовательской системы, то я присоединяюсь к предыдущему оратору: ССЗБ! Ведь и "Запорожец" теоретически можно было бы использовать как такси... ;)
	Ответить | Правка | К родителю #7 | Наверх | Cообщить модератору

	51. "Выпуск VirtualBox 6.0.6"	+/–
	Сообщение от нах (?), 19-Апр-19, 11:18
	надо же, а сановцы-то и не знали... (система для персонального использования - с совершенно неудобным для любого использования, но детальнейшим cli api (и отдельно http, причем без веб-морды), поддержкой live migration с 2008го года (бдсмщики в своем пихайве до сих пор не осилят доделать), автофильтрами подключаемых устройств [интересно, у кого еще такие есть], сегментацией доступа пользователей, пусть и недоделанной - ну конечно же, никогда не предназначалась. На  персональном таком sunfire работала, в персональной стойке.) vbox просто мертв - как и его основной разработчик. Орацлу он не нужен. community вокруг не сложилось, да и невозможно это с их лицензией и их закрытыми кусками кода, доступными только в виде блоба. 3акапывайте, очень жаль :-(
	Ответить | Правка | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема