LiftFuzz: Validating Binary Lifters through Context-aware Fuzzing with GPT.

本文提出 LiftFuzz，一个用于验证二进制提升器正确性的新型框架。二进制提升器将二进制代码翻译为中间表示（IR），广泛应用于逆向工程、二进制安全分析等场景，但其开发过程复杂且易出错。现有验证方法主要关注单条指令的正确性，忽略了指令间的交

历史摘要 · 未重新核验 · ACM CCS