Affiliation:
1. University of Technology Sydney, Australia
2. Beijing University of Posts and Telecommunications, China
Abstract
Code embedding, as an emerging paradigm for source code analysis, has attracted much attention over the past few years. It aims to represent code semantics through distributed vector representations, which can be used to support a variety of program analysis tasks (e.g., code summarization and semantic labeling). However, existing code embedding approaches are intraprocedural, alias-unaware and ignoring the asymmetric transitivity of directed graphs abstracted from source code, thus they are still ineffective in preserving the structural information of code.
This paper presents Flow2Vec, a new code embedding approach that precisely preserves interprocedural program dependence (a.k.a value-flows). By approximating the high-order proximity, i.e., the asymmetric transitivity of value-flows, Flow2Vec embeds control-flows and alias-aware data-flows of a program in a low-dimensional vector space. Our value-flow embedding is formulated as matrix multiplication to preserve context-sensitive transitivity through CFL reachability by filtering out infeasible value-flow paths. We have evaluated Flow2Vec using 32 popular open-source projects. Results from our experiments show that Flow2Vec successfully boosts the performance of two recent code embedding approaches codevec and codeseq for two client applications, i.e., code classification and code summarization. For code classification, Flow2Vec improves codevec with an average increase of 21.2%, 20.1% and 20.7% in precision, recall and F1, respectively. For code summarization, Flow2Vec outperforms codeseq by an average of 13.2%, 18.8% and 16.0% in precision, recall and F1, respectively.
Funder
Australian Research Council
Publisher
Association for Computing Machinery (ACM)
Subject
Safety, Risk, Reliability and Quality,Software
Reference69 articles.
1. Practical change impact analysis based on static program slicing for industrial software systems
2. Miltiadis Allamanis Earl T Barr Christian Bird and Charles Sutton. 2015. Suggesting Accurate Method and Class Names. In FSE' 15. 38ś49. Miltiadis Allamanis Earl T Barr Christian Bird and Charles Sutton. 2015. Suggesting Accurate Method and Class Names. In FSE' 15. 38ś49.
3. Miltiadis Allamanis Marc Brockschmidt and Mahmoud Khademi. 2018. Learning to represent programs with graphs. ( 2018 ). Miltiadis Allamanis Marc Brockschmidt and Mahmoud Khademi. 2018. Learning to represent programs with graphs. ( 2018 ).
4. Uri Alon Shaked Brody Omer Levy and Eran Yahav. 2019a. code2seq: Generating sequences from structured representations of code. ICLR ' 19 ( 2019 ). Uri Alon Shaked Brody Omer Levy and Eran Yahav. 2019a. code2seq: Generating sequences from structured representations of code. ICLR ' 19 ( 2019 ).
Cited by
53 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献