Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Neural-based Program Decompiler   Reverse engineering of binary executables is a critical problem in the
computer security domain. On the one hand, malicious parties may recover
interpretable source codes from the software products to gain commercial
advantages. On the other hand, binary decompilation can be leveraged for code
vulnerability analysis and malware detection. However, efficient binary
decompilation is challenging. Conventional decompilers have the following major
limitations: (i) they are only applicable to specific source-target language
pair, hence incurs undesired development cost for new language tasks; (ii)
their output high-level code cannot effectively preserve the correct
functionality of the input binary; (iii) their output program does not capture
the semantics of the input and the reversed program is hard to interpret. To
address the above problems, we propose Coda, the first end-to-end neural-based
framework for code decompilation. Coda decomposes the decompilation task into
two key phases: First, Coda employs an instruction type-aware encoder and a
tree decoder for generating an abstract syntax tree (AST) with attention
feeding during the code sketch generation stage. Second, Coda then updates the
code sketch using an iterative error correction machine guided by an ensembled
neural error predictor. By finding a good approximate candidate and then fixing
it towards perfect, Coda achieves superior performance compared to baseline
approaches. We assess Coda's performance with extensive experiments on various
benchmarks. Evaluation results show that Coda achieves an average of 82\%
program recovery accuracy on unseen binary samples, where the state-of-the-art
decompilers yield 0\% accuracy. Furthermore, Coda outperforms the
sequence-to-sequence model with attention by a margin of 70\% program accuracy.

36
The categories of this paper are: cmp-lg
13
The categories of this paper are: quant-ph
0
The categories of this paper are: hep-ph
15
The categories of this paper are: nucl-ex
10
The categories of this paper are: q-bio
27
The categories of this paper are: comp-gas
24
The categories of this paper are: dg-ga
11
The categories of this paper are: hep-lat
2
The categories of this paper are: math
14
The categories of this paper are: math-ph
17
The categories of this paper are: q-fin
7
The categories of this paper are: hep-th
32
The categories of this paper are: atom-ph
16
The categories of this paper are: stat
29
The categories of this paper are: funct-an
23
The categories of this paper are: solv-int