Vulnerabilities in Gecko OS