bin2llvm: Analysis of Binary Programs Using LLVM Intermediate Representation
discovRE: Efficient Cross-Architecture Identification of Bugs in Binary Code