CVE-2012-6090: swi-prolog swi-prolog – CVSS 7.5 · Watchpost