Tue 6 Nov 2018 13:30 - 13:52 at Horizons 5 - Software Analysis I Chair(s): Sebastian Elbaum

Encouraged by the success of data-driven software engineering (SE) techniques that have found numerous applications e.g. in defect prediction, specification inference, the demand for mining and analyzing source code repositories at scale has significantly increased. However, analyzing source code at scale remains expensive to the extent that data-driven solutions to certain SE problems are beyond our reach today. Extant techniques have focused on leveraging distributed computing to solve this problem, but with a concomitant increase in computational resource needs. This work proposes a technique that reduces the amount of computation performed by the ultra-large-scale source code mining task, especially those that make use of control and data flow analyses. Our key idea is to analyze the mining task to identify and remove the irrelevant portions of the source code, prior to running the mining task. We show a realization of our insight for mining and analyzing massive collections of control flow graphs of source codes. Our evaluation using 16 classical control-/data-flow analyses that are typical components of mining tasks and 7 Million CFGs shows that our technique can achieve on average a 40% reduction in the task computation time. Our case studies demonstrates the applicability of our technique to massive scale source code mining tasks.

Tue 6 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

13:30 - 15:00
Software Analysis IJournal-First / Research Papers at Horizons 5
Chair(s): Sebastian Elbaum University of Nebraska-Lincoln, USA
13:30
22m
Talk
On Accelerating Source Code Analysis At Massive Scale
Journal-First
Ganesha Upadhyaya Futurewei Technologies, Hridesh Rajan Iowa State University
DOI
13:52
22m
Talk
RefiNym: Using Names to Refine Types
Research Papers
Santanu Dash University College London, UK, Miltiadis Allamanis Microsoft Research, Cambridge, Earl T. Barr
14:15
22m
Talk
Darwinian Data Structure Selection
Research Papers
Michail Basios University College London, Lingbo Li University College London, UK, Fan Wu University College London, UK, Leslie Kanthan University College London, UK, Earl T. Barr
DOI Pre-print
14:37
22m
Talk
Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity
Research Papers
Yue Li Aarhus University, Denmark, Tian Tan Aarhus University, Denmark, Anders Møller Aarhus University, Yannis Smaragdakis University of Athens