Binary Function Similarity This repository contains the code, the dataset and additional technical information for our USENIX Security '22 paper: Andrea Marcelli, Mariano Graziano, Xabier Ugarte-Pedrero, Yanick
To address these issues, this paper proposes a cross-architecture binary function similarity detection method based on composite feature model (SDCFM). Firstly, the binary function is converted into vector representation according to the proposed composite feature model, which is composed of instruction...
How Machine Learning Is Solving the Binary Function Similarity Problem Usenix 2022 link link link Enhancing DNN-Based Binary Code Function Search With Low-Cost Equivalence Checking TSE 2022 link link Program Representations for Predictive Compilation: State of Affairs in the Early 20's COLA 2022 link...
2、Structure2vec用于生成graph embedding 3、siamese网络(孪生网络):siamese network一般都会引用这两篇文章: 《Learning a similarity metric discriminatively, with application to face verification》和《 Hamming Distance Metric Learning》。 siamese 用于计算二进制函数相似性。 现有工作: Each block is represented ...
Nerual Network-based Graph Embedding for Cross-platform Binary Code Similarity Detection (静态) ccs 17 尹恒dawn song 图编码 97%准确率 综述 问题定义 研究意义 研究难点 不同架构 编译器,编译优化选项 二进制层次的漏洞搜索是很难的,由于编译器优化问题的NP完全性质?,即使使用相同编译器和编译优化选项重新编译...
In this section, we first introduce background knowledge about function semantic similarity. Then, we explain the problems that existing methods for function similarity detection may encounter with a simple example. Finally, we describe the method we use and its benefits. ...
3.4 Structural Attribute Embedding The similarity detection problem of the binary function can be converted into the representation problem of the binary function attribute control flow graph. A binary function is expressed as a high-dimensional vector, and the distance between the vectors of the...
Hence, for a given similarity function sim, the function typ may be regarded as a function typ(sim) parameterized by sim, which assigns to each x in a given universe X of objects and a non-empty subset A of X the degree [typ(sim)](x,A)=∑x1∈Asim(x,x1)|A|to which the ...
jTrans: Jump-Aware Transformer for Binary Code Similarity ISSTA 2022 link link link A Large-Scale Empirical Analysis of the Vulnerabilities Introduced by Third-Party Components in IoT Firmware ISSTA 2022 link link link How Machine Learning Is Solving the Binary Function Similarity Problem Usenix 2022...
How Machine Learning Is Solving the Binary Function Similarity Problem Usenix 2022 link link link Enhancing DNN-Based Binary Code Function Search With Low-Cost Equivalence Checking TSE 2022 link link Program Representations for Predictive Compilation: State of Affairs in the Early 20's COLA 2022 link...