EFACT: an External Function Auto-Completion Tool to Strengthen Static Binary Lifting

Yilei Zhang, Haoyu Liao, Zekun Wang +2

Static binary lifting is essential in binary rewriting frameworks. Existing tools overlook the impact of External Function Completion (EXFC) in static binary lifting. EXFC recovers…