This website provides the supplementary materials for the paper.
Binary Function Similarity Detection (BFSD) is a foundational technique in software security, underpinning a wide range of applications including vulnerability detection, malware analysis. Recent advances in AI-based BFSD tools have led to significant performance improvements.
However, existing evaluations of these tools suffer from three key limitations: a lack of in-depth analysis of performance-influencing factors, an absence of realistic application analysis, and reliance on small-scale or low-quality datasets.
In this paper, we present the first large-scale empirical study of AI-based BFSD tools to address these gaps. We construct two high-quality and diverse datasets: BinAtlas, comprising 12,453 binaries and over 7 million functions for capability evaluation; and BinAres, containing 12,291 binaries and 54 real-world 1-day vulnerabilities for evaluating vulnerability detection performance in practical IoT firmware settings. Using these datasets, we evaluate nine representative BFSD tools, analyze the challenges and limitations of existing BFSD tools, and investigate the consistency among BFSD tools. We also propose an actionable strategy for combining BFSD tools to enhance overall performance (an improvement of 13.4\%). Our study not only advances the practical adoption of BFSD tools but also provides valuable resources and insights to guide future research in scalable and automated binary similarity detection.
Contribution
Datasets: We present two high-quality and diverse datasets: BinAtlas, designed for capability evaluation, and BinAres, a large-scale real-world vulnerability detection dataset. Both datasets are publicly released to support and accelerate research in the BFSD community.
Large-scale Experiments: We conduct comprehensive evaluations of nine BFSD tools and present the first in-depth investigation into their effectiveness in realistic usage scenarios.
Practical Strategies: We propose an actionable strategy to improve the effectiveness of BFSD tools by combining BFSD tools, leading to a 13.4% improvement in a large-scale real-world task.
Future Directions: We identify key limitations of current BFSD techniques and outline promising future research directions to address the challenges.
The Workflow of BFSD
The RQs of Our Study