PTfuzz: Guided Fuzzing With Processor Trace Feedback
Firmalice - Automatic Detection of Authentication Bypass Vulnerabilities in Binary Firmware.