Katalog CVE

CVE-2026-13216

ŚrednieCVSS 6.1
Opublikowano: Zaktualizowano: Przetłumaczono: NVD NIST

Prawdopodobieństwo exploitacji (EPSS)

Niskie ryzyko
0.18%

Percentyl 8 - wyżej niż 8% wszystkich znanych CVE

Streszczenie

Sterownik virtio PCI w Zephyr OS (drivers/virtio/virtio_pci.c) nieprawidłowo waliduje długość zdolności (cap_len) odczytywanej z przestrzeni konfiguracyjnej PCI. Brak walidacji w czasie wykonywania (asercja jest wyłączona w wersjach produkcyjnych) prowadzi do zapisu poza bufor na stosie jądra podczas inicjalizacji urządzenia.

Ocena ryzyka

Złośliwe urządzenie virtio PCIe (np. fizyczne lub przekazane do gościa) może nadpisać stos jądra, co może prowadzić do awarii systemu lub wykonania dowolnego kodu w trybie jądra. W typowych wdrożeniach z hiperwizorem ryzyko jest ograniczone, ale w systemach bare-metal lub w scenariuszach confidential computing stanowi poważne zagrożenie.

Rekomendacja

Należy natychmiast zaktualizować Zephyr OS do wersji zawierającej poprawkę, która dodaje kontrolę zakresu cap_len przed użyciem w kopiowaniu danych. Do czasu aktualizacji należy unikać korzystania z niezaufanych urządzeń virtio PCIe.

Inne podatności w Zephyr OS

Zobacz wszystkie
Oryginalny opis (angielski, źródło NVD)

The virtio PCI driver (drivers/virtio/virtio_pci.c) parses a device's PCI capability list during driver initialization. In virtio_pci_read_cap() the device-supplied capability length byte cap_len (read from PCI config space via pcie_conf_read()) was only checked with assert(tmp.cap_len == cap_struct_size). That assert resolves to __ASSERT_NO_MSG(), gated by CONFIG_ASSERT, which defaults off in production builds, so the value reached the copy logic completely unvalidated. The length then drives a loop that copies extra capability dwords into a fixed-size stack buffer supplied by the caller. A cap_len below the 24-byte base struct virtio_pci_cap underflows the unsigned extra_data_words count to a near-SIZE_MAX value, producing an effectively unbounded stack write; a cap_len above the caller's buffer (up to 255) writes up to roughly 228 bytes of device-controlled data past the buffer. Both are out-of-bounds writes of attacker-controlled content executed in kernel mode during boot-time device probe. The input originates from the virtio device. In the common deployment where Zephyr runs as a guest under a hypervisor, the device backend is the host, which already fully outranks the guest, so the bug yields no privilege escalation. The exploitable case is a virtio device that is untrusted relative to the Zephyr kernel — an untrusted or physical/passthrough virtio PCIe device on a bare-metal system, or a confidential-computing posture where the guest must defend against the host — where a malicious device can corrupt the kernel stack and potentially achieve code execution or a crash. The fix replaces the compiled-out assert with a runtime range check rejecting cap_len outside [sizeof(struct virtio_pci_cap), cap_struct_size] before any arithmetic or copy.

Dane podatności pochodzą z NVD (NIST) · CISA KEV · EPSS