CVE-2023-31617: openlinksw virtuoso – CVSS 7.5 · Watchpost