CVE-2013-6283: videolan vlc media player – CVSS 7.5 · Watchpost