The main objective of this workshop is to bring together researchers in the machine learning and program analysis communities and to serve as a platform for identifying cross-disciplinary problems of mutual interest.International audienceWe consider the problem of recovering the compiling chain used to generate a given bare binary code. We present a first attempt to devise a Graph Neural Network framework to solve this problem, in order to take into account the shallow semantics provided by the binary code's structured control flow graph (CFG). We introduce a Graph Neural Network, called Site Neural Network (SNN), dedicated to this problem. Feature extraction is simplified by forgetting almost everything in a CFG except transfer control ins...
In this paper we consider the binary similarity problem that consists in determining if two binary f...
Replication kit for the paper Identifying Compiler and Optimization Options from Binary Code using D...
In recent years, the application of machine learning in program verification, and the embedding of p...
The main objective of this workshop is to bring together researchers in the machine learning and pro...
International audienceWe consider the problem of recovering the compiling chain used to generate a g...
With the rapid growth of program scale, program analysis, mainte-nance and optimization become incre...
Binary code similarity detection, whose goal is to detect similar binary functions without having ac...
Binary code similarity measurement is a popular research area in binary analysis with the recent dev...
Source code mining has received increasing attention, among which code classification plays a signif...
Binary code similarity detection has extensive and important applications in program traceability an...
In this paper we investigate the use of graph embedding networks, with unsupervised features learnin...
Analyzing software binaries can be helpful in tackling important problems such as plagiarism, malwar...
When compiling a source file, several flags can be passed to the compiler. These flags, however, can...
Production software oftentimes suffers from unnecessary memory inefficiencies caused by inappropriat...
Machine learning (ML) is increasingly seen as a viable approach for building compiler optimization h...
In this paper we consider the binary similarity problem that consists in determining if two binary f...
Replication kit for the paper Identifying Compiler and Optimization Options from Binary Code using D...
In recent years, the application of machine learning in program verification, and the embedding of p...
The main objective of this workshop is to bring together researchers in the machine learning and pro...
International audienceWe consider the problem of recovering the compiling chain used to generate a g...
With the rapid growth of program scale, program analysis, mainte-nance and optimization become incre...
Binary code similarity detection, whose goal is to detect similar binary functions without having ac...
Binary code similarity measurement is a popular research area in binary analysis with the recent dev...
Source code mining has received increasing attention, among which code classification plays a signif...
Binary code similarity detection has extensive and important applications in program traceability an...
In this paper we investigate the use of graph embedding networks, with unsupervised features learnin...
Analyzing software binaries can be helpful in tackling important problems such as plagiarism, malwar...
When compiling a source file, several flags can be passed to the compiler. These flags, however, can...
Production software oftentimes suffers from unnecessary memory inefficiencies caused by inappropriat...
Machine learning (ML) is increasingly seen as a viable approach for building compiler optimization h...
In this paper we consider the binary similarity problem that consists in determining if two binary f...
Replication kit for the paper Identifying Compiler and Optimization Options from Binary Code using D...
In recent years, the application of machine learning in program verification, and the embedding of p...