CVE-2013-4239: redhat libvirt – CVSS 4.0 · Watchpost