CVE-2012-1035: adacore ada web services – CVSS 5.0 · Watchpost