CVE-2013-4551: Xen

Medium severity, CVSS 5.7. EPSS: 0.8% chance of exploitation in the next 30 days.

Xen 4.2.x and 4.3.x, when nested virtualization is disabled, does not properly check the emulation paths for (1) VMLAUNCH and (2) VMRESUME, which allows local HVM guest users to cause a denial of service (host crash) via unspecified vectors related to "guest VMX instruction execution."

Affected products

• Xen Xen: version 4.2.0 only; version 4.2.1 only; version 4.2.2 only; version 4.2.3 only; version 4.3.0 only; version 4.3.1 only

Published 2013-11-18. Last modified 2026-06-16.