Context-Sensitive Flow Graph and Projective Single Assignment Form for Resolving Context-Dependency of Binary Code
Firmalice - Automatic Detection of Authentication Bypass Vulnerabilities in Binary Firmware.