Towards Generality: Task-Adaptive Binary Analysis via Semantic Retrieval and Verifiable Reasoning

Yuzhe Liu, Fudan University; Zhijie Liu, ShanghaiTech University; Zhengmin Yu, Fudan University; Shu Wang, Northwest University; Ling Jiang, Sen Nie, and Shi Wu, Tencent Security Keen Lab; Zhanyong Tang, Northwest University; Yuan Zhang, Fudan University