VulSeeker-pro: enhanced semantic learning based binary vulnerability seeker with emulation
Firmalice - Automatic Detection of Authentication Bypass Vulnerabilities in Binary Firmware.