bin2llvm: Analysis of Binary Programs Using LLVM Intermediate Representation
S2E: a platform for in-vivo multi-path analysis of software systems