SemHunt: Identifying Vulnerability Type with Double Validation in Binary Code
BMAT - A Binary Matching Tool for Stale Profile Propagation