CVE ID:	CVE-2013-4551
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."
Test IDs:	1.3.6.1.4.1.25623.1.1.4.2013.1923.1
Cross References:	Common Vulnerability Exposure (CVE) ID: CVE-2013-4551 1029313 http://www.securitytracker.com/id/1029313 55398 http://secunia.com/advisories/55398 63625 http://www.securityfocus.com/bid/63625 GLSA-201407-03 http://security.gentoo.org/glsa/glsa-201407-03.xml [oss-security] 20131111 Xen Security Advisory 75 (CVE-2013-4551) - Host crash due to guest VMX instruction execution http://www.openwall.com/lists/oss-security/2013/11/11/1 openSUSE-SU-2013:1876 http://lists.opensuse.org/opensuse-updates/2013-12/msg00059.html xen-cve20134551-dos(88649) https://exchange.xforce.ibmcloud.com/vulnerabilities/88649