CVE-2013-4388: videolan vlc media player – CVSS 6.8 · Watchpost