CVE-2013-4385: call-cc chicken – CVSS 7.5 · Watchpost