I. Introduction
Binary code is a collection of instructions that can be executed by computing systems directly, whereas source code, which programmers write, is readable and understandable. Binary-to-source code matching is a technique to evaluate the likeliness of binary code and source code. This is an important aspect of many security software engineering tasks, such as vulnerability [1] and malware detection [2] and reverse engineering [3], [4].