CVE-2013-3245: videolan vlc media player – CVSS 6.3 · Watchpost