Known Vulnerabilities in VLC Media Player 1.1.2