CVE-2012-3280: hp nonstop server software – CVSS 6.3 · Watchpost