From Similarity Ranking to Definitive Verdict: LLM-Enhanced Source-to-Binary Function Localization
Locating a known source function in a stripped binary is a prerequisite for many security and software engineering tasks, including Software Composition Analysis (SCA) false-positive elimination, patch presence verification, malware analysis, code plagiarism detection, and license compliance auditing. We formalize this...