PSHAPE: Automatically Combining Gadgets for Arbitrary Method Execution
Firmalice - Automatic Detection of Authentication Bypass Vulnerabilities in Binary Firmware.