.png){kind=icon}
返回
OpTrans: enhancing binary code similarity detection with function inlining re-optimization
.png){kind=icon}
PRE
AI
DOI：10.1007/s10664-024-10605-x.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Binary code similarity detection (BCSD) is pivotal in system security including reverse engineering, vulnerability detection and software component analysis. Recent studies on BCSD have proliferated, yet they exhibit poor performance when confronting semantic alterations (e.g., function inlining) caused by compiler optimization. To tackle this challenge, we present OpTrans, an innovative framework that fuses binary code Optimization techniques with the Transformer model for BCSD. OpTrans employs an algorithm based on binary program analysis to determine which functions should be inlined, followed by binary rewriting techniques to effectuate re-optimization on binaries. This innovative method significantly reduces false positives and enhances model performance in real-world BCSD tasks. We evaluated OpTrans on the BinaryCorp datasets, and it outperformed the state-of-the-art BCSD solutions by 21.5% on average. The inline re-optimization improved all BCSD solutions by up to 32.1%. Our ablation study and vulnerability experiment demonstrate the practicality of inline re-optimization in real-world detection scenarios, showing the usefulness of our approach.
Keyword:
Static analysis
Similarity detection
Optimization
Neural networks
期刊
IF:
3.6
论文数:
2.0K
被引数:
5.3K
机构
引用论文
分享收藏
Programmable large-scale simulation of lattices with photonic synthetic frequency dimensions.png)
CLEO 2023
CLEO 2023IF0
PREAI
分享收藏
查看更多内容