Describir: Vetting Browser Extensions for Security Vulnerabilities with VEX.