CVE-2013-3881: win32k.sys in the kernel-mode drivers in… – CVSS 7.2 · Watchpost