基于图神经网络的二进制程序函数相似性检测-邢继媛.pdfVIP

ThenameoftheDepartment

BeijingForestStudio

部门名称

北京理工大学信息系统及安全对抗实验中心

基于图神经网络的二进制程序函

数相似性检测

硕士研究生邢继媛

2021年4月24日

内容提要

•背景简介

•基本概念

•算法原理

•优劣分析

•应用总结

•参考文献

2

背景简介

•预期收获

–1.了解二进制程序函数相似性检测任务的基本概念

–2.理解基于图神经网络的二进制程序函数相似性检测方法

–3.了解二进制程序函数相似性检测的应用

3

基于图神经网络的二进制程序函数相似性检测

基本概念

基本概念

•二进制程序函数相似性检测

–概念：指检测不同平台，不同编译器，不同优化选项，不同软件版本的两个二进

制程序函数的相似程度

•平台：X86,ARM,MIPS,POWERPC

•编译器：GCC,Clang

•优化选项：O0,O1,O2,O3

–应用场景：恶意软件分析，版权纠纷，代码抄袭检测，漏洞检测

5

基本概念

•二进制程序分析工具：

–静态分析工具：IDAPro、C32Asm

–动态调试工具：OD、DEBUG、x64Dbg

6

基本概念

•控制流程图（CFG）

–有向图G（V，E）

•结点：基本块

•边：控制流

5个基本块

包含不同基本块的函数控制流程图7

基本概念

•控制流程图（CFG）

–同一函数在不同优化选项下的控制流程图

优化选项：O0优化选项：O3

8

基本概念

•控制流程图（CFG）

–同一函数在不同平台下的控制流程图

X86-64平台ARM平台

9

基本概念

•二进制程序函数相似性检测（基于图匹配）

10

基本概念

•二进制程序函数相似性检测（基于图嵌入）

ACF