Michael Franz

This article presents a fully static, whole-program binary lifting system requiring no runtime translation support on the target, and implements this approach as a prototype binary recompiler from x86-64 binaries to LLVM IR, requiring no code/data heuristics.