Защитная инструкция по Lima 2.1.3 и GHSA-2j9v-p4xj-cjw2: применимость версии, отдельный synthetic-тест, матрица «версия | guest-user | socket owner/mode | open result | uid до/после | удаление VM», стоп-линия, возврат и очищенный пакет владельцу без активного payload.
Граница решения для Lima
Зелёный health-check не является доказательством исправления, поэтому нужна парная проверка функции и границы. Официальная запись GHSA-2j9v-p4xj-cjw2, опубликованная 14 августа 2026 года, фиксирует механизм: произвольный пользователь внутри QEMU VM мог обратиться к guest-agent socket и получить root-привилегии в этой VM. Граница версий сформулирована так: версии github.com/lima-vm/lima/v2 до 2.1.2 включительно; первая исправленная версия — 2.1.3. Следовательно, безопасный ответ начинается с перехода на Lima 2.1.3 или более новую поддерживаемую поставку своей ветки и проверки фактически загруженного компонента. Сначала отделяют наличие компонента от достижимости проблемного пути, а уже затем выполняют опыт. Если продукт не найден, ставят not-applicable; если версия новая, но путь не проверен, — patched-unverified. Нельзя переносить вывод на соседнюю библиотеку, другую ветку или изменённую сборку. Предмет этой страницы — не общий hardening, а точная связь «компонент — версия — достижимая функция — наблюдаемый отказ — сохранённая штатная операция». Именно эта связь делает ответ самостоятельным и не превращает advisory в пересказ новости.
Инвентарь перед опытом Lima
До теста записывают отдельными полями: версия Lima, disposable QEMU VM, путь и владелец guest-agent socket внутри гостя, mode bits, обычный непривилегированный пользователь и root-only операция. Для каждого поля допустимы значение, not-applicable или unknown; догадка не заменяет факта. Версию извлекают из работающего runtime, собранного артефакта или точного dependency lock, а не из страницы документации. Затем проверяют, включена ли функция, связанная с механизмом «произвольный пользователь внутри QEMU VM мог обратиться к guest-agent socket и получить root-привилегии в этой VM», и достижима ли она в этом развертывании. Секреты, IP, содержимое рабочих файлов, реальные имена и полные журналы в карту не попадают. Отдельно фиксируют контроль штатной функции: guest agent остаётся доступен положенному привилегированному пути, обычный guest-user не открывает socket и не меняет свой uid. Если базовый сценарий уже сломан, опыт не начинают — сначала возвращают стенд в известное состояние. Такая инвентаризация предотвращает ложное «исправлено» по одному version string и позволяет передать владельцу ровно тот контекст, который нужен.
Парная защитная проверка Lima
Проверка выполняется только на изолированном synthetic-стенде. Шаг A: подтвердить штатный путь для Lima 2.1.3. Шаг B: в одноразовой VM проверить metadata сокета от root и попытку простого открытия тем же socket обычным synthetic-user; непривилегированный пользователь должен получить отказ без выполнения команды. Шаг A2: повторить обычную операцию и убедиться, что защитный отказ не уничтожил работоспособность. Во время A–B–A2 не обновляют соседние зависимости, не меняют proxy, права и сеть одновременно. Ожидаемое наблюдение заранее: guest agent остаётся доступен положенному привилегированному пути, обычный guest-user не открывает socket и не меняет свой uid. Результат записывают как факт конкретного стенда, без формулировок «защищено вообще» или «уязвимость воспроизведена везде». Если инструмент возвращает только общий 500 без безопасной причины, этого недостаточно: нужно отличить валидированный отказ от падения runtime. Ни один шаг не требует активного вредоносного payload; используется ограниченный безобидный класс входа и заранее заданный потолок ресурсов.
Матрица наблюдений Lima
Практический результат сводят в таблицу «версия | guest-user | socket owner/mode | open result | uid до/после | удаление VM». Для каждой строки выбирают один статус: not-applicable, patched-unverified, passed-bounded-check, stopped, unknown. not-applicable означает отсутствие компонента или функции; patched-unverified — подтверждённую исправленную версию без локального контроля; passed-bounded-check — оба шага парного опыта с ожидаемым безопасным исходом; stopped — срабатывание стоп-линии; unknown — нехватку evidence. Для механизма «произвольный пользователь внутри QEMU VM мог обратиться к guest-agent socket и получить root-привилегии в этой VM» сравнивают именно заранее объявленные поля, а не удобное впечатление от UI. Штатный контроль должен показать: guest agent остаётся доступен положенному привилегированному пути, обычный guest-user не открывает socket и не меняет свой uid. Неподтверждённое значение оставляют unknown и не заменяют нулём. Такой формат отделяет инвентаризацию, регрессию, ошибку настройки и защитный отказ, поэтому владелец может повторить решение без получения лишних данных и без догадки о причине.
Стоп-линия и возврат Lima
Жёсткий критерий остановки: не выполнять privilege-escalation payload, не монтировать данные host, не использовать рабочую VM и не проверять команды за границей гостя. Дополнительные стоп-сигналы — рост ресурсов выше малого потолка, падение процесса, запись вне временного namespace, появление секрета в output или невозможность выполнить A2. При любом таком исходе статус — stopped, а не passed. Возврат выполняют сразу: удалить disposable VM и диск, сверить отсутствие host-mount и создать новую пустую VM только для чтения mode/owner. После rollback сверяют только заранее выбранные признаки штатной функции и очистки. Если возврат не подтверждён, не продолжают подбор входов и не переносят тест на production. Версия 2.1.3 остаётся remediation-границей из официальных источников, но не оправдывает рискованный эксперимент. Это особенно важно для Lima: цель — показать контролируемое сохранение границы, а не добиться отказа любой ценой.
Минимальный пакет владельцу Lima
Для независимой проверки достаточно передать: версия Lima и QEMU mode, owner/mode без домашних путей, две роли гостя, коды открытия, uid-сверка и подтверждение удаления VM. К пакету добавляют ссылку на GHSA-2j9v-p4xj-cjw2 и первичный источник исправленной поставки 2.1.3, но не копируют advisory целиком. Перед отправкой удаляют токены, cookies, адреса, usernames, локальные пути, дампы памяти, тела рабочих запросов и необрезанные логи. В выводе раздельно пишут применимость версии, достижимость механизма, исход штатного A, исход bounded-B, состояние A2 и rollback. Формула финала проста: «на указанном synthetic-стенде при зафиксированных входах получен такой-то статус»; она не обещает будущую индексацию, отсутствие других дефектов или безопасность чужой конфигурации. Если evidence неполна, пакет заканчивается unknown и конкретным недостающим полем.
Материал подготовлен редакцией VOne с помощью ИИ по открытым официальным и первичным источникам; факты, даты, версии и ссылки перепроверены. Реальные пользовательские данные, активные опасные payload и вымышленные результаты тестов не использовались.
Источники и проверка
- GitHub Advisory Database: GHSA-2j9v-p4xj-cjw2 проверено 2026-08-30
- Релиз Lima 2.1.3 проверено 2026-08-30
Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.