CVE-2013-4551

Name: CVE-2013-4551
Creator: NVD / NIST
Published: 2013-11-18T02:55:08.047+00:00
License: https://creativecommons.org/publicdomain/zero/1.0/

UnknownEPSS 0.80%

Last modified Jun 16, 2026

CVE-2013-4551 is a vulnerability of currently unknown severity. 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.". EPSS estimates a 0.80% chance of exploitation in the next 30 days.

Description

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."

Metrics

EPSS Probability

0.80%

51.9th percentile

Probability of exploitation in the next 30 days. Learn more

Weakness Enumeration

CWE-20

Affected Software

Vendor	Product	Versions
Xen	Xen	4.2.0
Xen	Xen	4.2.1
Xen	Xen	4.2.2
Xen	Xen	4.2.3
Xen	Xen	4.3.0
Xen	Xen	4.3.1

References

Timeline

Published: Nov 18, 2013
Last Modified: Jun 16, 2026
Status: Modified

Frequently Asked Questions

What is CVE-2013-4551?

How severe is CVE-2013-4551?

Severity scoring for CVE-2013-4551 is pending analysis. The EPSS model estimates a 0.80% probability of exploitation in the next 30 days.

How do I fix CVE-2013-4551?

Check the vendor references and advisories linked above for patched versions and mitigation guidance. You can also run a Strix scan to test if your systems are affected.

Are you affected by CVE-2013-4551?

Run a free Strix scan to check your systems for this vulnerability.

Scan your code now

Source: NVD / NIST