Firmalice - Automatic Detection of Authentication Bypass Vulnerabilities in Binary Firmware.
Statically-directed dynamic automated test generation