‹Programming› 2020
Mon 23 - Thu 26 March 2020 Porto, Portugal
Thu 26 Mar 2020 11:00 - 11:30 at Auditorium - Machines Thinking about Programs Chair(s): Coen De Roover

Researchers have developed various techniques for static analysis of JavaScript to improve analysis precision. To develop such techniques, they first identify causes of the precision losses for unproven proper- ties. While most of the existing work has diagnosed main causes of imprecision in static analysis by manual investigation, manually tracing the imprecision causes is challenging because it requires detailed knowledge of analyzer internals. Recently, several studies proposed to localize the analysis imprecision causes automatically, but these localization techniques work for only specific analysis techniques. In this paper, we present an automatic technique that can trace analysis imprecision causes of JavaScript applications starting from user-selected variables. Given a set of program variables, our technique stops an analysis when any of the variables gets imprecise analysis values. It then traces the imprecise analysis values using intermediate analysis results back to program points where the imprecision first started. Our technique shows the trace information with a new representation called tracing graphs, whose nodes and edges together represent traces from imprecise points to precise points. In order to detect major causes of analysis imprecision automatically, we present four node/edge patterns in tracing graphs for common imprecision causes. We formalized the technique of generating tracing graphs and identifying patterns, and implemented them on SAFE, a state-of-the-art JavaScript static analyzer with various analysis configurations, such as context- sensitivity, loop-sensitivity, and heap cloning. Our evaluation demonstrates that the technique can easily find 96% of the major causes of the imprecision problems in 17 applications by only automatic detection in tracing graphs using the patterns, and selectively adopting various advanced techniques can eliminate the found causes of imprecision.

Thu 26 Mar
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

11:00 - 12:30: Research Papers - Machines Thinking about Programs at Auditorium
Chair(s): Coen De RooverVrije Universiteit Brussel
programming-2020-papers11:00 - 11:30
Research paper
Hongki LeeKorea Advanced Institute of Science and Technology, Changhee ParkKAIST, Sukyoung RyuKAIST
Link to publication DOI Pre-print
programming-2020-papers11:30 - 12:00
Research paper
Jeff SmitsDelft University of Technology, Gabriël KonatDelft University of Technology, Eelco VisserDelft University of Technology
Link to publication DOI Pre-print
programming-2020-papers12:00 - 12:30
Research paper
Johannes MeyTechnische Universität Dresden, Thomas KühnKarlsruhe Institute of Technology, René SchöneTechnische Universität Dresden, Uwe AßmannTU Dresden, Germany
Link to publication DOI Pre-print