Firmalice - Automatic Detection of Authentication Bypass Vulnerabilities in Binary Firmware | Synapse