Firmalice - Automatic Detection of Authentication Bypass Vulnerabilities in Binary Firmware.
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs