# 8.27 Firmalice - Automatic Detection of Authentication Bypass Vulnerabilities in Binary Firmware