ICPC 2018
Sun 27 - Mon 28 May 2018 Gothenburg, Sweden
co-located with * ICSE 2018 *

When code is compiled, information is lost, including some of the structure of the original source code as well as local identifier names. Existing decompilers can reconstruct much of the original source code, but typically use meaningless placeholder variables for identifier names. Using variable names which are more natural in the given context can make the code much easier to interpret, despite the fact that variable names have no effect on the execution of the program. In theory, it is impossible to recover the original identifier names since that information has been lost. However, most code is natural: it is highly repetitive and predictable based on the context. In this paper we propose a technique that assigns variables meaningful names by taking advantage of this naturalness property. We consider decompiler output to be a noisy distortion of the original source code, where the original source code is transformed into the decompiler output. Using this noisy channel model, we apply standard statistical machine translation approaches to choose natural identifiers, combining a translation model trained on a parallel corpus with a language model trained on unmodified C code. We generate a large parallel corpus from 1.2 TB of C source code obtained from GitHub. Under the most conservative assumptions, our technique is still able to recover the original variable names up to 16.2% of the time, which represents a lower bound for performance.

Sun 27 May

icpc-2018-Technical-Research
09:00 - 10:30: Technical Research - Opening, Vision Keynote, and Developer Observation at J1 room
Chair(s): Chanchal K. RoyUniversity of Saskatchewan, Foutse KhomhPolytechnique Montréal, Katsuro InoueOsaka University
icpc-2018-Technical-Research09:00 - 09:10
Day opening
Foutse KhomhPolytechnique Montréal, Chanchal K. RoyUniversity of Saskatchewan
icpc-2018-Technical-Research09:11 - 09:45
Talk
Manuela ZuegerUniversity of Zurich, Thomas FritzUniversity of Zurich, University of British Columbia
icpc-2018-Technical-Research09:45 - 09:55
Short-paper
Felienne Hermans, Alaaeddin SwidanDelft University of Technology, Efthimia AivaloglouOpen University of the Netherlands
icpc-2018-Technical-Research09:55 - 10:12
Full-paper
Alan JaffeCarnegie Mellon University, Jeremy LacomisCarnegie Mellon University, Edward SchwartzCarnegie Mellon University, Claire Le GouesCarnegie Mellon University, Bogdan VasilescuCarnegie Mellon University
Pre-print Media Attached
icpc-2018-Technical-Research10:13 - 10:30
Full-paper
Andrea SchankinKarlsruhe Institute of Technology, Annika BergerKarlsruhe Institute of Technology, Daniel HoltHeidelberg University, Johannes HofmeisterUniversity of Passau, Till RiedelKarlsruhe Institute of Technology, Michael BeiglKarlsruhe Institute of Technology
Pre-print