summaries: This paper proposes GraphCodeBERT as a Transformer-based pretrained model for programming language that incorporates data flow information in the graph representation of variables in the code. The data flow graph encodes the structure of variables based on “where-the-value-comes-from” from the AST parse. The pretrained model is jointly trained on the code, the natural language comment of the code, and the data flow graph of the code. In addition to the Masked Language Modeling objective, two new pretraining objectives are proposed including predicting the edge of the data flow graph and predicting the alignment of variables between data flow graph and code. The graph-guided masked attention is used such that the attention can only occur if two variables have an edge in the data flow graph or there is an alignment between data flow graph and code. The experiments show that GraphCodeBERT can deliver improvements on Natural Language Code Search, Code Clone Detection, Code Translation, and Code Refinement. The authors present Graph Code BERT, the first language model that leverages data flow to learn code representation. They use three objective functions: Masked Language Modeling, Edge Prediction, and Node Alignment. They claim their structure-aware pre-training can help improving performance on code-related downstream tasks, including code search, clone detection, code translation, and code refinement. This work address the pretraining over code and text. It proposes to leverage data flow as additional inputs, and add two structure aware pre-training tasks besides the masked token prediction task. The pretrained model is evaluated on four different tasks and outperforms the CodeBERT baselines as well as other pretrained models. Further analysis confirmed the benefits from the additional tasks and data flow input. 
abstractText: Pre-trained models for programming language have achieved dramatic empirical improvements on a variety of code-related tasks such as code search, code completion, code summarization, etc. However, existing pre-trained models regard a code snippet as a sequence of tokens, while ignoring the inherent structure of code, which provides crucial code semantics and would enhance the code understanding process. We present GraphCodeBERT, a pre-trained model for programming language that considers the inherent structure of code. Instead of taking syntactic-level structure of code like abstract syntax tree (AST), we use data flow in the pre-training stage, which is a semantic-level structure of code that encodes the relation of “wherethe-value-comes-from” between variables. Such a semantic-level structure is less complex and does not bring an unnecessarily deep hierarchy of AST, the property of which makes the model more efficient. We develop GraphCodeBERT based on Transformer. In addition to using the task of masked language modeling, we introduce two structure-aware pre-training tasks. One is to predict code structure edges, and the other is to align representations between source code and code structure. We implement the model in an efficient way with a graph-guided masked attention function to incorporate the code structure. We evaluate our model on four tasks, including code search, clone detection, code translation, and code refinement. Results show that code structure and newly introduced pre-training tasks can improve GraphCodeBERT and achieves state-of-the-art performance on the four downstream tasks. We further show that the model prefers structure-level attentions over token-level attentions in the task of code search.1
authors.name: TATIONS WITH
authors.name: DATA FLOW
authors.name: Daya Guo
authors.name: Shuo Ren
authors.name: Shuai Lu
authors.name: Zhangyin Feng
authors.name: Duyu Tang
authors.name: Shujie Liu
authors.name: Long Zhou
authors.name: Nan Duan
authors.name: Alexey Svyatkovskiy
authors.name: Shengyu Fu
authors.name: Michele Tufano
authors.name: Shao Kun Deng
authors.name: Colin Clement
authors.name: Dawn Drain
authors.name: Neel Sundaresan
authors.name: Jian Yin
authors.name: Daxin Jiang
authors.name: Ming Zhou
references.authors: Miltiadis Allamanis Marc Brockschmidt Mahmoud Khademi
references.title: Learning to represent programs with graphs
references.venue: In International Conference on Learning Representations,
references.authors: Uri Alon Shaked Brody Omer Levy Eran Yahav
references.title: code2seq: Generating sequences from structured representations of code
references.venue: arXiv preprint arXiv:1808.01400,
references.authors: Uri Alon Roy Sadaka Omer Levy Eran Yahav
references.title: Structural language models of code
references.venue: arXiv, pp
references.authors: Marc Brockschmidt Miltiadis Allamanis Alexander L Gaunt Oleksandr Polozov
references.title: Generative code modeling with graphs
references.venue: arXiv preprint arXiv:1805.08490,
references.authors: Luca Buratti Saurabh Pujar Mihaela Bornea Scott McCarley Yunhui Zheng Gaetano Rossiello Alessandro Morari Jim Laredo Veronika Thost Yufan Zhuang
references.title: Exploring software naturalness throughneural language models
references.authors: Xinyun Chen Chang Liu Dawn Song
references.title: Tree-to-tree neural networks for program translation
references.venue: In Advances in neural information processing systems,
references.authors: Mayur Datar Nicole Immorlica Piotr Indyk Vahab S Mirrokni
references.title: Locality-sensitive hashing scheme based on p-stable distributions
references.venue: In Proceedings of the twentieth annual symposium on Computational geometry,
references.authors: Jacob Devlin Ming-Wei Chang Kenton Lee Kristina Toutanova. Bert
references.title: Pre-training of deep bidirectional transformers for language understanding
references.venue: arXiv preprint arXiv:1810.04805,
references.authors: Zhangyin Feng Daya Guo Duyu Tang Nan Duan Xiaocheng Feng Ming Gong Linjun Shou Bing Qin Ting Liu Daxin Jiang
references.title: Codebert: A pre-trained model for programming and natural languages
references.venue: arXiv preprint arXiv:2002.08155,
references.authors: Daya Guo Duyu Tang Nan Duan M. Zhou Jian Yin
references.title: Dialog-to-action: Conversational question answering over a large-scale knowledge base
references.venue: NeurIPS,
references.authors: Daya Guo Duyu Tang Nan Duan M. Zhou Jian Yin
references.title: Coupling retrieval and meta-learning for context-dependent semantic parsing
references.authors: Vincent J Hellendoorn Charles Sutton Rishabh Singh Petros Maniatis David Bieber
references.title: Global relational models of source code
references.venue: In International Conference on Learning Representations,
references.authors: Xing Hu Ge Li Xin Xia David Lo Zhi Jin
references.title: Deep code comment generation
references.venue: In 2018 IEEE/ACM 26th International Conference on Program Comprehension (ICPC),
references.authors: Hamel Husain Ho-Hsiang Wu Tiferet Gazit Miltiadis Allamanis Marc Brockschmidt
references.title: Codesearchnet challenge: Evaluating the state of semantic code search
references.authors: Lingxiao Jiang Ghassan Misherghi Zhendong Su Stephane Glondu
references.title: Deckard: Scalable and accurate tree-based detection of code clones
references.venue: In 29th International Conference on Software Engineering
references.authors: Aditya Kanade Petros Maniatis Gogul Balakrishnan Kensen Shi
references.title: Pre-trained contextual embedding of source code
references.venue: arXiv preprint arXiv:2001.00059,
references.authors: Svetoslav Karaivanov Veselin Raychev Martin Vechev
references.title: Phrase-based statistical translation of programming languages
references.venue: In Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software,
references.authors: Rafael-Michael Karampatsis Charles Sutton
references.title: Scelmo: Source code embeddings from language models
references.venue: arXiv preprint arXiv:2004.13214,
references.authors: Seohyun Kim Jinman Zhao Yuchi Tian Satish Chandra
references.title: Code prediction by feeding trees to transformers
references.venue: arXiv preprint arXiv:2003.13848,
references.authors: Philipp Koehn Franz J Och Daniel Marcu
references.title: Statistical phrase-based translation
references.venue: Technical report, UNIVERSITY OF SOUTHERN CALIFORNIA MARINA DEL REY INFORMATION SCIENCES INST,
references.authors: Guillaume Lample Alexis Conneau
references.title: Cross-lingual language model pretraining
references.venue: arXiv preprint arXiv:1901.07291,
references.authors: Jian Li Yue Wang Michael R Lyu Irwin King
references.title: Code completion with neural attention and pointer networks
references.venue: arXiv preprint arXiv:1711.09573,
references.authors: Yinhan Liu Myle Ott Naman Goyal Jingfei Du Mandar Joshi Danqi Chen Omer Levy Mike Lewis Luke Zettlemoyer Veselin Stoyanov
references.title: Roberta: A robustly optimized bert pretraining approach
references.authors: Anh Tuan Nguyen Tien N Nguyen
references.title: Graph-based statistical language model for code
references.venue: In 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering,
references.authors: Anh Tuan Nguyen Tung Thanh Nguyen Tien N Nguyen
references.title: Lexical statistical machine translation for language migration
references.venue: In Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering,
references.authors: Anh Tuan Nguyen Tung Thanh Nguyen Tien N Nguyen
references.title: Divide-and-conquer approach for multi-phase statistical migration for source code (t)
references.venue: In 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE),
references.authors: Xuan-Phi Nguyen Shafiq Joty Steven Hoi Richard Socher
references.title: Tree-structured attention with hierarchical accumulation
references.venue: In International Conference on Learning Representations,
references.authors: Matthew E Peters Mark Neumann Mohit Iyyer Matt Gardner Christopher Clark Kenton Lee Luke Zettlemoyer
references.title: Deep contextualized word representations
references.venue: arXiv preprint arXiv:1802.05365,
references.authors: Maxim Rabinovich Mitchell Stern Dan Klein
references.title: Abstract syntax networks for code generation and semantic parsing
references.venue: arXiv preprint arXiv:1704.07535,
references.authors: Alec Radford Karthik Narasimhan Tim Salimans Ilya Sutskever
references.title: Improving language understanding by generative pre-training
references.venue: URL https://s3-us-west-2. amazonaws. com/openaiassets/researchcovers/languageunsupervised/language understanding paper
references.authors: Colin Raffel Noam Shazeer Adam Roberts Katherine Lee Sharan Narang Michael Matena Yanqi Zhou Wei Li Peter J Liu
references.title: Exploring the limits of transfer learning with a unified text-to-text transformer
references.venue: arXiv preprint arXiv:1910.10683,
references.authors: Jeffrey Svajlenko Judith F Islam Iman Keivanloo Chanchal K Roy Mohammad Mamun Mia
references.title: Towards a big data curated benchmark of inter-project code clones
references.venue: IEEE International Conference on Software Maintenance and Evolution,
references.authors: Alexey Svyatkovskiy Shao Kun Deng Shengyu Fu Neel Sundaresan
references.title: Intellicode compose: Code generation using transformer
references.venue: arXiv preprint arXiv:2005.08025,
references.authors: Michele Tufano Cody Watson Gabriele Bavota Massimiliano Di Penta Martin White Denys Poshyvanyk
references.title: An empirical study on learning bug-fixing patches in the wild via neural machine translation
references.venue: ACM Transactions on Software Engineering and Methodology (TOSEM),
references.authors: Ashish Vaswani Noam Shazeer Niki Parmar Jakob Uszkoreit Llion Jones Aidan N Gomez Łukasz Kaiser Illia Polosukhin
references.title: Attention is all you need
references.venue: In Advances in neural information processing systems,
references.authors: Wenhan Wang Ge Li Bo Ma Xin Xia Zhi Jin
references.title: Detecting code clones with graph neural networkand flow-augmented abstract syntax tree
references.venue: arXiv preprint arXiv:2002.08653,
references.authors: Huihui Wei Ming Li
references.title: Supervised deep features for software functional clone detection by exploiting lexical and syntactical information in source code
references.venue: In IJCAI,
references.authors: Martin White Michele Tufano Christopher Vendome Denys Poshyvanyk
references.title: Deep learning code fragments for code clone detection
references.venue: In 2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE),
references.authors: Zhilin Yang Zihang Dai Yiming Yang Jaime Carbonell Ruslan Salakhutdinov Quoc V Le
references.title: Xlnet: Generalized autoregressive pretraining for language understanding
references.authors: Pengcheng Yin Graham Neubig
references.title: A syntactic neural model for general-purpose code generation
references.venue: In The 55th Annual Meeting of the Association for Computational Linguistics (ACL),
references.authors: Jian Zhang Xu Wang Hongyu Zhang Hailong Sun Kaixuan Wang Xudong Liu
references.title: A novel neural source code representation based on abstract syntax tree
references.venue: IEEE/ACM 41st International Conference on Software Engineering (ICSE),
references.authors: Nguyen
references.title: Lucene4, POI5, JGit6 and Antlr7. We do not use Itext8 and JTS9 as they do because of the license problem. Those projects have both Java and C
sections.heading: 1 INTRODUCTION
sections.text: Pre-trained models such as ELMo (Peters et al., 2018), GPT (Radford et al., 2018) and BERT (Devlin et al., 2018) have led to strong improvement on numerous natural language processing (NLP) tasks. These pre-trained models are first pre-trained on a large unsupervised text corpus, and then fine-tuned on downstream tasks. The success of pre-trained models in NLP also promotes the development of pre-trained models for programming language. Existing works (Kanade et al., 2019; Karampatsis & Sutton, 2020; Feng et al., 2020; Svyatkovskiy et al., 2020; Buratti et al., 2020) regard a source code as a sequence of tokens and pre-train models on source code to support code-related tasks such as code search, code completion, code summarization, etc. However, previous works only utilize source code for pre-training, while ignoring the inherent structure of code. Such code structure provides useful semantic information of code, which would benefit the code understanding process. Taking the expression v = max value−min value as an example, v is computed from max value and min value. Programmers do not always follow the naming conventions so that it’s hard to understand the semantic of the variable v only from its name. The semantic structure of code provides a way to understand the semantic of the variable v by leveraging dependency relation between variables.
  ∗Work done while this author was an intern at Microsoft Research Asia. Contact: Daya Guo (guody5@mail2.sysu.edu.cn)
  1All the codes and data are available at https://github.com/microsoft/CodeBERT.
  In this work, we present GraphCodeBERT, a pre-trained model for programming language that considers the inherent structure of code. Instead of taking syntactic-level structure of code like abstract syntax tree (AST), we leverage semantic-level information of code, i.e. data flow, for pretraining. Data flow is a graph, in which nodes represent variables and edges represent the relation of “where-the-value-comes-from” between variables. Compared with AST, data flow is less complex and does not bring an unnecessarily deep hierarchy, the property of which makes the model more efficient. In order to learn code representation from source code and code structure, we introduce two new structure-aware pre-training tasks. One is data flow edges prediction for learning representation from code structure, and the other is variable-alignment across source code and data flow for aligning representation between source code and code structure. GraphCodeBERT is based on Transformer neural architecture (Vaswani et al., 2017) and we extend it by introducing a graph-guided masked attention function to incorporate the code structure.
  We pre-train GraphCodeBERT on the CodeSearchNet dataset (Husain et al., 2019), which includes 2.3M functions of six programming languages paired with natural language documents. We evaluate the model on four downstream tasks: natural language code search, clone detection, code translation, and code refinement. Experiments show that our model achieves state-of-the-art performance on the four tasks. Further analysis shows that code structure and newly introduced pre-training tasks can improve GraphCodeBERT and the model has consistent preference for attending data flow.
  In summary, the contributions of this paper are: (1) GraphCodeBERT is the first pre-trained model that leverages semantic structure of code to learn code representation. (2) We introduce two new structure-aware pre-training tasks for learning representation from source code and data flow. (3) GraphCodeBERT provides significant improvement on four downstream tasks, i.e. code search, clone detection, code translation, and code refinement.
sections.heading: 2 RELATED WORKS
sections.text: Pre-Trained Models for Programming Languages Inspired by the big success of pre-training in NLP (Devlin et al., 2018; Yang et al., 2019; Liu et al., 2019; Raffel et al., 2019), pre-trained models for programming languages also promotes the development of code intelligence (Kanade et al., 2019; Feng et al., 2020; Karampatsis & Sutton, 2020; Svyatkovskiy et al., 2020; Buratti et al., 2020). Kanade et al. (2019) pre-train a BERT model on a massive corpus of Python source codes by masked language modeling and next sentence prediction objectives. Feng et al. (2020) propose CodeBERT, a bimodal pre-trained model for programming and natural languages by masked language modeling and replaced token detection to support text-code tasks such as code search. Karampatsis & Sutton (2020) pre-train contextual embeddings on a JavaScript corpus using the ELMo framework for program repair task. Svyatkovskiy et al. (2020) propose GPT-C, which is a variant of the GPT-2 trained from scratch on source code data to support generative tasks like code completion. Buratti et al. (2020) present C-BERT, a transformer-based language model pre-trained on a collection of repositories written in C language, and achieve high accuracy in the abstract syntax tree (AST) tagging task.
  Different with previous works, GraphCodeBERT is the first pre-trained model that leverages code structure to learn code representation to improve code understanding. We further introduce a graphguided masked attention function to incorporate the code structure into Transformer and two new structure-aware pre-training tasks to learn representation from source code and code structure.
  Neural Networks with Code Structure In recent years, some neural networks leveraging code structure such as AST have been proposed and achieved strong performance in code-related tasks like code completion (Li et al., 2017; Alon et al., 2019; Kim et al., 2020), code generation (Rabinovich et al., 2017; Yin & Neubig, 2017; Brockschmidt et al., 2018), code clone detection (Wei & Li, 2017; Zhang et al., 2019; Wang et al., 2020), code summarization (Alon et al., 2018; Hu et al., 2018) and so on (Nguyen & Nguyen, 2015; Allamanis et al., 2018; Hellendoorn et al., 2019). Nguyen & Nguyen (2015) propose an AST-based language model to support the detection and suggestion of a syntactic template at the current editing location. Allamanis et al. (2018) use graphs to represent programs and graph neural network to reason over program structures. Hellendoorn et al. (2019) propose two different architectures using a gated graph neural network and Transformers for combining local and global information to leverage richly structured representations of source code. However, these
  works leverage code structure to learn models on specific tasks from scratch without using pre-trained models. In this work, we study how to leverage code structure for pre-training code representation.
sections.heading: 3 DATA FLOW
sections.text: In this section, we describe the basic concept and extraction of data flow. In next section, we will describe how to use data flow for pre-training.
  Data flow is a graph that represents dependency relation between variables, in which nodes represent variables and edges represent where the value of each variable comes from. Unlike AST, data flow is same under different abstract grammars for the same source code. Such code structure provides crucial code semantic information for code understanding. Taking v = max value−min value as an example, programmers do not always follow the naming conventions so that it is hard to understand the semantic of the variable. Data flow provides a way to understand the semantic of the variable v to some extent, i.e. the value of v comes from max value and min value in data flow. Besides, data flow supports the model to consider long-range dependencies induced by using the same variable or function in distant locations. Taking Figure 1 as an example, there are four variables with same name (i.e. x3, x7, x9 and x11) but with different semantic. The graph in the figure shows dependency relation between these variables and supports x11 to pay more attention to x7 and x9 instead of x3. Next, we describe how to extract data flow from a source code.
  Figure 1 shows the extraction of data flow through a source code. Given a source code C = {c1, c2, ..., cn}, we first parse the code into an abstract syntax tree (AST) by a standard compiler tool2. The AST includes syntax information of the code and terminals (leaves) are used to identify the variable sequence, denoted as V = {v1, v2, ..., vk}. We take each variable as a node of the graph and an direct edge ε = 〈vi, vj〉 from vi to vj refers that the value of j-th variable comes from i-th variable. Taking x = expr as an example, edges from all variables in expr to x are added into the graph. We denote the set of directed edges as E = {ε1, ε2, ..., εl} and the graph G(C) = (V,E) is data flow used to represent dependency relation between variables of the source code C.
sections.heading: 4 GRAPHCODEBERT
sections.text: In this section, we describe GraphCodeBERT, a graph-based pre-trained model based on Transformer for programming language. We introduce model architecture, graph-guided masked attention and pre-training tasks including standard masked language model and newly introduced ones. More details about model pre-training setting are provided in the Appendix A.
  2https://github.com/tree-sitter/tree-sitter
sections.heading: 4.1 MODEL ARCHITECTURE
sections.text: Figure 2 shows the model architecture of GraphCodeBERT. We follow BERT (Devlin et al., 2018) and use the multi-layer bidirectional Transformer (Vaswani et al., 2017) as the model backbone. Instead of only using source code, we also utilize paired comments to pre-train the model to support more code-related tasks involving natural language such as natural language code search (Feng et al., 2020). We further take data flow, which is a graph, as a part of the input to the model.
  Given a source code C = {c1, c2, ..., cn} with its comment W = {w1, w2, ..., wm}, we can obtain the corresponding data flow G(C) = (V,E) as discussed in the Section 3, where V = {v1, v2, ..., vk} is a set of variables and E = {ε1, ε2, ..., εl} is a set of direct edges that represent where the value of each variable comes from. We concatenate the comment, source code and the set of variables as the sequence input X = {[CLS],W, [SEP ], C, [SEP ], V }, where [CLS] is a special token in front of three segments and [SEP ] is a special symbol to split two kinds of data types.
  GraphCodeBERT takes the sequence X as the input and then converts the sequence into input vectors H0. For each token, its input vector is constructed by summing the corresponding token and position embeddings. We use a special position embedding for all variables to indicate that they are nodes of data flow. The model applies N transformer layers over the input vectors to produce contextual representations Hn = transformern(Hn−1), n ∈ [1, N ]. Each transformer layer contains an architecturally identical transformer that applies a multi-headed self-attention operation (Vaswani et al., 2017) followed by a feed forward layer over the input Hn−1 in the n-th layer.
  Gn = LN(MultiAttn(Hn−1) +Hn−1) (1) Hn = LN(FFN(Gn) +Gn) (2)
  where MultiAttn is a multi-headed self-attention mechanism, FFN is a two layers feed forward network, and LN represents a layer normalization operation. For the n-th transformer layer, the output Ĝn of a multi-headed self-attention is computed via:
  Qi = H n−1WQi , Ki = H n−1WKi , Vi = H n−1WVi (3)
  headi = softmax( QiK T i√
  dk +M)Vi (4)
  Ĝn = [head1; ...;headu]W O n (5)
  where the previous layer’s output Hn−1 ∈ R|X|×dh is linearly projected to a triplet of queries, keys and values using model parameters WQi ,W K i ,W V i ∈ Rdh×dk , respectively. u is the number of heads, dk is the dimension of a head, and WOn ∈ Rdh×dh is the model parameters. M ∈ R|X|×|X| is a mask matrix, where Mij is 0 if i-th token is allowed to attend j-th token otherwise −∞.
sections.heading: 4.2 GRAPH-GUIDED MASKED ATTENTION
sections.text: To incorporate the graph structure into Transformer, we define a graph-guided masked attention function to filter out irrelevant signals. The attention masking function could avoid the key ki attended by the query qj by adding the attention score qTj ki an infinitely negative value so that the attention weight becomes zero after using a softmax function. To represent dependency relation between variables, a node-query qvi is allowed to attend to a node-key kvj if there is a direct edge from the node vj to the node vi (i.e. 〈vj , vi〉 ∈ E) or they are the same node (i.e. i = j). Otherwise, the attention is masked by adding an infinitely negative value into the attention score. To represent the relation between source code tokens and nodes of the data flow, we first define a set E ′ , where 〈vi, cj〉/〈cj , vi〉 ∈ E ′
  if the variable vi is identified from the source code token cj . We then allow the node qvi and code kcj attend each other if and only if 〈vi, cj〉/〈cj , vi〉 ∈ E ′ . More formally, we use the following graph-guided masked attention matrix as the mask matrix M in the equation 4:
  Mij =
  { 0 if qi ∈ {[CLS], [SEP ]} or qi, kj ∈W ∪ C or 〈qi, kj〉 ∈ E ∪ E ′
  −∞ otherwise (6)
sections.heading: 4.3 PRE-TRAINING TASKS
sections.text: We describe three pre-training tasks used for pre-training GraphCodeBERT in this section. The first task is masked language modeling (Devlin et al., 2018) for learning representation from the source code. The second task is data flow edge prediction for learning representation from data flow, where we first mask some variables’ data flow edges and then let GraphCodeBERT predict those edges. The last task is variable-alignment across source code and data flow for aligning representation between source code and data flow, which predicts where a variable is identified from.
  Masked Language Modeling We follow Devlin et al. (2018) to apply masked language modeling (MLM) pre-training task. Specially, we sample randomly 15% of the tokens from the source code and paired comment. We replace them with a [MASK] token 80% of the time, with a random token 10% of the time, and leave them unchanged 10% of the time. The MLM objective is to predict original tokens of these sampled tokens, which has proven effective in previous works (Devlin et al., 2018; Liu et al., 2019; Feng et al., 2020). In particular, the model can leverage the comment context if the source code context is not sufficient to infer the masked code token, encouraging the model to align the natural language and programming language representations.
  Edge Prediction To learn representation from data flow, we introduce a pre-training task of data flow edges prediction. The motivation is to encourage the model to learn structure-aware representation that encodes the relation of “where-the-value-comes-from” for better code understanding. Specially, we randomly sample 20% of nodes Vs in data flow, mask direct edges connecting these sampled nodes by add an infinitely negative value in the mask matrix, and then predict these masked edges Emask. Taking the variable x11 in Figure 2 for an example, we first mask edges 〈x7, x11〉 and 〈x9, x11〉 in the graph and then let the model to predict these edges. Formally, the pre-training objective of the task is calculated as Equation 7, where Ec = Vs × V ∪ V × Vs is a set of candidates for edge prediction, δ(eij ∈ E) is 1 if 〈vi, vj〉 ∈ E otherwise 0, and the probability peij of existing an edge from i-th to j-th node is calculated by dot product following a sigmoid function using representations of two nodes from GraphCodeBERT. To balance positive-negative ratio of examples, we sample negative and positive samples with the same number for Ec.
  lossEdgePred = − ∑
  eij∈Ec
  [δ(eij ∈ Emask)logpeij + (1− δ(eij ∈ Emask))log(1− peij )] (7)
  Node Alignment To align representation between source code and data flow, we introduce a pretraining task of node alignment across source code and data flow, which is similar to data flow edge prediction. Instead of predicting edges between nodes, we predict edges between code tokens and nodes. The motivation is to encourage the model to align variables and source code according to data flow. Taking Figure 3 for an example, we first mask edges between the variable x11 in data flow and code tokens, and then predict which code token the variable x11 in data flow is identified from. As we can see, the model could predict that the variable x11 is identified form the variable x in the expression “return x” according to data flow information (i.e. the value of x11 comes from x7 or x9).
  Specially, we randomly sample 20% nodes V ′
  s in the graph, mask edges between code tokens and sampled nodes, and then predict masked edges E ′
  mask. The pre-training objective of this task is similar to Equation 7, where E ′ c = V ′
  s × C is a set of candidates for node alignment. Similarly, we also sample negative and positive samples with the same number for E ′
  c. lossNodeAlign = − ∑
  eij∈E′c
  [δ(eij ∈ E ′ mask)logpeij + (1− δ(eij ∈ E ′ mask))log(1− peij )] (8)
sections.heading: 5 EXPERIMENTS
sections.text: We evaluate our model on four downstream tasks, including code search, clone detection, code translation and code refinement. Detailed experimental settings can be found in the Appendix.
sections.heading: 5.1 NATURAL LANGUAGE CODE SEARCH
sections.text: Given a natural language as the input, the task aims to find the most semantically related code from a collection of candidate codes. We conduct experiments on the CodeSearchNet code corpus (Husain et al., 2019), which includes six programming languages. Different from the dataset and the setting used in the Husain et al. (2019), we filter low-quality queries by handcrafted rules and expand 1000 candidates to the whole code corpus, which is closer to the real-life scenario. We use Mean Reciprocal Rank (MRR) as our evaluation metric and report results of existing methods in the Table 1. We provide more details about the filtered dataset and also give results using the same setting of Husain et al. (2019) in the Appendix B.
  All models calculate inner product of code and query encodings as relevance scores to rank candidate codes. We follow Husain et al. (2019) to implement four methods as baselines in the first group to obtain the encodings, including bag-of-words, convolutional neural network, bidirectional recurrent neural network, and multi-head attention. The second group is the results of pre-trained models. Roberta (Liu et al., 2019) is a pre-trained model on text corpus with MLM learning objective, while RoBERTa (code) is pre-trained only on code. CodeBERT (Feng et al., 2020) is pre-trained
  on code-text pairs with MLM and replaced token detection learning objectives. As we can see, GraphCodeBERT that leverages code structure for pre-training brings a 2% gain of MRR, achieving the state-of-art performance. We also conducted t-test between our GraphCodeBERT and other baselines, and the results show the improvements are significant with p < 0.01.
sections.heading: 5.2 CODE CLONE DETECTION
sections.text: Code clones are multiple code fragments that output similar results when given the same input. The task aims to measure the similarity between two code fragments, which can help reduce the cost of software maintenance and prevent bugs. We conduct experiments on the BigCloneBench dataset (Svajlenko et al., 2014) and report results in the Table 2.
  Deckard (Jiang et al., 2007) is to compute vectors for structural information within ASTs and then a Locality Sensitive Hashing (LSH) (Datar et al., 2004) is used to cluster similar vectors for detection. RtvNN (White et al., 2016) trains a recursive autoencoder to learn representations for AST. CDLH (Wei & Li, 2017) learn representations of code fragments via AST-based LSTM and hamming distance is used to optimize the distance between the vector representation of AST pairs.
  ASTNN Zhang et al. (2019) uses RNNs to encode AST subtrees for statements, then feed the encodings of all statement trees into an RNN to learn representation for a program. FA-AST-GMN (Wang et al., 2020) uses GNNs over a flow-augmented AST to leverages explicit control and data flow information for code clone detection. Results show that our GraphCodeBERT that leverages code structure information significantly outperforms other methods with p < 0.01, which demonstrates the effectiveness of our pre-trained model for the task of code clone detection.
sections.heading: 5.3 CODE TRANSLATION
sections.text: Code translation aims to migrate legacy software from one programming language in a platform to another. Following Nguyen et al. (2015) and Chen et al. (2018), we conduct experiments on a dataset crawled from the same several open-source projects as them and report results in the Table 3.
  The Naive method is directly copying the source code as the translation result. PBSMT is short for phrase-based statistical machine translation (Koehn et al., 2003), and has been exploited in previous works (Nguyen et al., 2013; Karaivanov et al., 2014). As for the Transformer, we use the
  same number of layers and hidden size as pre-trained models. To leverage the pretrained models for translation, we initialize the encoder with pre-trained models and randomly initialize parameters of the decoder and the source-to-target attention. Results show that the models initialized with pretrained models (i.e the second group) significantly outperform PBSMT and Transformer models. Among them, GraphCodeBERT achieves state-of-art performance, which demonstrates the effectiveness of our model for code translation.
sections.heading: 5.4 CODE REFINEMENT
sections.text: Code refinement aims to automatically fix bugs in the code, which can contribute to reducing the cost of bug-fixes. We use the dataset released by Tufano et al. (2019) and report results in the Table 4.
  The Naive method directly copies the buggy code as the refinement result. For the Transformer, we use the same number of layers and hidden size as the pre-trained models. Same as the Section 5.3, we initialize the encoder with pre-trained models and randomly initialize parameters of the decoder
  and the source-to-target attention. Then we use the training data to fine-tune the whole model. In the table, we see that the Transformer significantly outperforms LSTM. Results in the second group shows that pre-trained models outperform Transformer models further, and GraphCodeBERT achieves better performance than other pre-trained models on both datasets, which shows leveraging code structure information are helpful to the task of code refinement.
sections.heading: 5.5 MODEL ANALYSIS
sections.text: Ablation Study We conduct ablation study on the task of natural language code search to understand various components in our approach impact overall performance. We remove two pre-training tasks and data flow, respectively, to analyze their contribution. Table 5 shows that the overall performance drops from 71.3% to 70.3%∼70.7% when removing Node Alignment and Edge Prediction pre-training tasks, respectively, which reveals the importance of two structure-aware pre-training tasks. After ablating the data flow totally, we can see that the performance drops from 71.3% to 69.3%, which means leveraging data flow to learn code representation could improve GraphCodeBERT.
  Node-vs. Token-level Attention Table 6 shows how frequently a special token [CLS] that is used to calculate probability of correct candidate attends to code tokens (Codes) and variables (Nodes). We see that although the number of nodes account for 5%∼20%, attentions over nodes overwhelm node/code ratio (around 10% to 32%) across all programming languages. The results indicate that data flow plays an important role in code understanding process and the model pays more attention to nodes in data flow than code tokens.
  Comparison between AST and Data Flow Figure 4 shows MRR score with respect to input sequence length on the validation dataset of Ruby programming language for the task of code search. AST Pre-order Traversal regards AST as a sequence by linearizing all AST nodes using pre-order traversal algorithm. AST Subtree Masking regards AST as a tree and introduce subtree masking (Nguyen et al., 2019) for self-attention of the Transformer. In subtree masking, each node-query in AST attends only to its own subtree descendants, and each leaf-query only attends to leaves of AST. Transformer has a self-attention component with O(n2) time and memory complexity where n is the input sequence length, and thus is not efficient to scale to long inputs.
  We observe that injecting AST even hurts the performance when the sequence length is short (e.g. shorter than 128), while GraphCodeBERT consistently brings performance boost on varying sequence length and obtains better MRR score than AST-based methods. The main reason is that data flow is less complex and the number of nodes account for 5% ∼ 20% (see Table 6), which does not bring an unnecessarily deep hierarchy of AST and makes the model more accurate and efficient.
  Case Study We also give a case study to demonstrate that data flow would enhance the code understanding process. Given a source code and a comment, we use GraphCodeBERT with and without data flow to predict whether the comment correctly describes the source code. Results are given in Figure 5. We can see that both models make correct prediction in the original example, where the threshold is 0.5 (left panel). To study the code understanding ability of models, we change the source code (center panel) and the comment (right panel), respectively. Although we make a small change on the source code (return a→ return b) and the comment (sum value→ mean value), the semantic of the source code and the comment are completely different and corresponding gold labels change from 1 to 0. As we can see in the figure, GraphCodeBERT without using data flow fails these tests and still outputs high probability for negative examples. After leveraging data flow, GraphCodeBERT better understands the semantic of source code and makes correct predictions on all tests, which demonstrates that data flow could improve the code understanding ability of the model.
sections.heading: 6 CONCLUSION
sections.text: In this paper, we present GraphCodeBERT that leverages data flow to learn code representation. To the best of our knowledge, this is the first pre-trained model that considers code structure for pre-training code representations. We introduce two structure-aware pre-training tasks and show that GraphCodeBERT achieves state-of-the-art performance on four code-related downstream tasks, including code search, clone detection, code translation and code refinement. Further analysis shows that code structure and newly introduced pre-training tasks boost the performance. Additionally, case study in the task of code search shows that applying data flow in the pre-trained model improves code understanding.
sections.heading: ACKNOWLEDGMENTS
sections.text: Daya Guo and Jian Yin are supported by the Research Foundation of Science and Technology Plan Project in Guangdong Province (2017B030308007).
sections.heading: A PRE-TRAINING DETAILS
sections.text: GraphCodeBERT includes 12 layers Transformer with 768 dimensional hidden states and 12 attention heads. For fair comparison, we use the same dataset as CodeBERT (Feng et al., 2020) to pretrain our model. The dataset is the CodeSearchNet dataset3 (Husain et al., 2019), which includes 2.3M functions with document pairs for six programming languages. We train the model on two DGX-2 machines, each having 16 NVIDIA Tesla V100 with 32GB memory. We set the max length of sequences and nodes as 512 and 128, respectively. We use the Adam optimizer to update model parameters with 1,024 batch size and 2e-4 learning rate. To accelerate the training process, we adopt the parameters of CodeBERT released by Feng et al. (2020) to initialize the model. The model is trained with 200K batches and costs about 83 hours.
  At each iteration, we alternate EdgePred and NodeAlign objectives in combination with MLM to pre-train the model. And we follow Lample & Conneau (2019) to sample each batch from the same programming language according to a multinomial distribution with probabilities {qi}i=1...N , where ni is number of examples for i-th programming language and α=0.7. Sampling with this distribution could alleviates the bias towards high-resource languages.
  qi = pαi∑j=1 N p α j with pi = ni∑k=1 N nk
  (9)
sections.heading: B NATURAL LANGUAGE CODE SEARCH
sections.text: Given a natural language as the input, code search aims to find the most semantically related code from a collection of candidate codes. We conduct experiments on the CodeSearchNet code corpus (Husain et al., 2019) and follow Husain et al. (2019) to take the first paragraph of the documentation as the query for the corresponding function. However, we observe that some queries contain content unrelated to the code, such as a link “http://...” that refers to external resources. Therefore, we filter following examples to improve the quality of the dataset.
  (1) Examples whose code could not be parsed into abstract syntax tree.
  (2) Examples whose query tokens number is shorter than 3 or larger than 256.
  (3) Examples whose query contains special tokens such as “http://”.
  (4) Examples whose query is empty or not written in English.
  3https://github.com/github/CodeSearchNet
  Different from the setting of Husain et al. (2019), the answer of each query is retrieved from the whole development and testing code corpus instead of 1,000 candidate codes. We list data statistics about the filtered dataset in Table 7.
  We use GraphCodeBERT to separately encode query and source code with data flow, and calculate inner product of their representations of the special token [CLS] as relevance scores to rank candidate codes. In the fine-turning step, we set the learning rate as 2e-5, the batch size as 32, the max sequence length of queries and codes as 128 and 256, and the max number of nodes as 64. We use the Adam optimizer to update model parameters and perform early stopping on the development set.
  We also report the results using the same setting of Husain et al. (2019) in Table 8. In this setting, models are required to retrieve an answer for a query from 1000 candidates. The results show that GraphCodeBERT also achieves the state-of-the-art performance.
sections.heading: C CODE CLONE DETECTION
sections.text: Code clone detection aims to measure the similarity between two code fragments. We use BigCloneBench dataset (Svajlenko et al., 2014), which contains over 6,000,000 true clone pairs and 260,000 false clone pairs from 10 different functionalities. We follow the settings in Wei & Li (2017), discarding code fragments without any tagged true and false clone pairs and using 9,134 remaining code fragments. Finally, the dataset provided by Wang et al. (2020) includes 901,724/416,328/416,328 examples for training/validation/testing. We treat the task as a binary classification to fine-tune GraphCodeBERT, where we use source code and data flow as the input. The probability of true clone is calculated by dot product from the representation of [CLS]. In the fine-turning step, we set the learning rate as 2e-5, the batch size as 16, the max sequence length as 512 the max number of nodes as 128. We use the Adam optimizer to update model parameters and tune hyper-parameters and perform early stopping on the development set.
  We give a case of the GraphCodeBERT output for this task in Figure 6. In this example, two Java source codes both download content from a given URL and convert the type of the content into string type. Therefore, two codes are semantically similar since they output similar results when given the same input. As we can see, our model gives a high score for this case and the pair is classified as true clone pair.
  Input: Two source codes Output: Semantically similar (score: 0.983)
sections.heading: D CODE TRANSLATION
sections.text: Code translation aims to migrate legacy software from one programming language in a platform to another. We conduct experiments on a dataset crawled from the same several open-source projects as Nguyen et al. (2015) and Chen et al. (2018), i.e. Lucene4, POI5, JGit6 and Antlr7. We do not use Itext8 and JTS9 as they do because of the license problem. Those projects have both Java and C# implementation. We pair the methods in the two languages based on their file names and method names. After removing duplication and methods with null function body, the total number of method pairs is 11,800, and we split 500 pairs from them as the development set and another 1,000 pairs for test. To demonstrate the effectiveness of GraphCodeBERT on the task of code translation, we adopt various pre-trained models as encoders and stay hyperparameters consistent. We set the learning rate as 1e-4, the batch size as 32, the max sequence length as 256 and the max number of nodes as 64. We use the Adam optimizer to update model parameters and tune hyper-parameters and perform early stopping on the development set.
  We give a case of the GraphCodeBERT output for this task in Figure 7. In this example, the model successfully translates a piece of Java code into its C# version. The differences include the type name (from “boolean” to “bool”) and the usage of getting a string value of a bool variable (from “String.valueOf(b)” to “b.ToString()”).
  4http://lucene.apache.org/ 5http://poi.apache.org/ 6https://github.com/eclipse/jgit/ 7https://github.com/antlr/ 8http://sourceforge.net/projects/itext/ 9http://sourceforge.net/projects/jts-topo-suite/
sections.heading: E CODE REFINEMENT
sections.text: Code refinement aims to automatically fix bugs in the code. We use the dataset released by Tufano et al. (2019). The source is buggy Java functions while the target is the according fixed ones. Almost all the names of variables and custom methods are normalized. The dataset contains two subsets based on the code length. For the small dataset, the numbers of training, development and test samples are 46,680, 5,835 and 5,835. For the medium dataset, the numbers are 52,364, 6,545 and 6,545. We also use the sequence-to-sequence Transformer model to conduct the experiments. In the fine-tuning step, we adopt various pre-trained models as encoders. We set the learning rate as 1e-4, the batch size as 32, the max sequence length as 256 and the max number of nodes as 64. We use the Adam optimizer to update model parameters and perform early stopping on the development set.
  We give two cases of the GraphCodeBERT output for this task in Figure 8. In the first example, the model successfully fixes the operation bug (from “*” to “+”) to match the function name “add”. In the second case, the source function and type names are normalized. The return type of this function is “void” but the buggy code gives a return value. Our model successfully removes the “return” word so that the return type of the function matches its declaration.
sections.heading: F CASE STUDY
sections.text: F.1 NATURAL LANGUAGE CODE SEARCH
  We give a case study to illustrate retrieved results by GraphCodeBERT on the natural language code search task, with a comparison to CodeBERT and RoBERTa (code) models. Two examples are given in Figure 9 and we can see that GraphCodeBERT successfully retrieves correct source codes for given queries on both examples. As we can see in the first case, incorporating data flow will help Graph-CodeBERT better understand the complicated expression “[(k, v) for k, v in self.items() if v is not self.EMPTY]” by leveraging dependency relation among variables in data flow graph. In the second case, the terminology “%Y-%m-%d” in Python program language is a format of date time. GraphCodeBERT and CodeBERT both successfully search the correct function. Compared with RoBERTa (code), the second case shows that utilizing natural language descriptions for pre-training helps models do better semantic matching between source codes and queries on the code search task.
  F.2 CODE CLONE DETECTION
  We give a case study to compare GraphCodeBERT with CodeBERT and RoBERTa (code) models on code clone detection task. An example is shown in Figure 10. The first source code is to return the HTML content from a given URL, while the second source code is to return the last line from a fixed URL “http://kmttg.googlecode.com/svn/trunk/version”. Their semantics are not similar due to their different outputs. Data flow could help GraphCodeBERT better understand that the return value “pageHTML” in first source code comes from “pageHTML.append(line); pageHTML.append(“\r\n”);” instead of “bufferedWriter.write(pageHTML.toString());” and the return value “version” in the second source code comes from “version = inputLine” or “version = null;”. Although two source codes are highly overlapped (marked in yellow), GraphCodeBERT successfully predict the gold label compared with other models without data flow.
  F.3 CODE TRANSLATION AND CODE REFINEMENT
  We give a case study to compare GraphCodeBERT with Transformer without using data flow on code generation tasks, including code translation and code refinement. We list three cases in Table 9 and Table 10, respectively. [src] represents the source input, [ref] represents the reference, [sys] represents Transformer without data flow and [ours] represents GraphCodeBERT. We can see that the Transformer ([sys]) baseline makes several mistakes, including repeating tokens, logic errors and syntax errors, while GraphCodeBERT ([ours]) as a encoder could improve the generation.
sections.heading: G ERROR ANALYSIS
sections.text: We also conduct error analysis and summary two main classes of errors for both code understanding and generation tasks.
  Figure 11 gives three error cases of GraphCodeBERT on the natural language code search task. We observe that GraphCodeBERR mainly fails to retrieve those source code that involves functions of the library like “tf” (Tensorflow) in the first case and “ GoogleCloudStorageHook” in the second case. It’s difficult for GraphCodeBERR to understand meanings of APIs like “tf.io.read file” and “tf.image.decode image” without relevant information. A potential direction to mitigate the problem is to incorporate definitions of the library. The other major problem is that there are some terminologies like “unistr” in the query (corresponding to “decode(‘utf-8’)” in Python code) in third case. Incorporating more text-code pairs for pre-training might alleviate this problem.
  As for the code generation task, Table 11 shows two cases of GraphCodeBERT on the code translation task. We find that the major problems include semantic errors like identifiers from nowhere in the first case and syntax errors like missing a “}” symbol before “return n” in the second case. This problem might be mitigated by incorporating a dedicated decoder that takes into account grammar of programming languages and different generation paradigm like generating a sequence of production rules (Yin & Neubig, 2017; Guo et al., 2018; 2019) in a context-free grammar manner.
title: GRAPHCODEBERT: PRE-TRAINING CODE REPRESEN-