SemHunt: Identifying Vulnerability Type with Double Validation in Binary Code
discovRE: Efficient Cross-Architecture Identification of Bugs in Binary Code