CVE-2013-4400: redhat libvirt – CVSS 7.2 · Watchpost