Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
Wed 25 Oct 2017 15:30 - 15:52 at Regency C - Dynamic Analysis Chair(s): Jonathan Aldrich

Event races are a common source of subtle errors in JavaScript web applications. Several automated tools for detecting event races have been developed, but experiments show that their accuracy is generally quite low. We present a new approach that focuses on three categories of event race errors that often appear during the initialization phase of web applications: form-input-overwritten errors, late-event-handler-registration errors, and access-before-definition errors. The approach is based on a dynamic analysis that uses a combination of adverse and approximate execution. Among the strengths of the approach are that it does not require browser modifications, expensive model checking, or static analysis.

In an evaluation on 100 widely used websites, our tool InitRacer reports 1085 initialization races, while providing informative explanations of their causes and effects. A manual study of 218 of these reports shows that 111 of them lead to uncaught exceptions and at least 47 indicate errors that affect the functionality of the websites.

Wed 25 Oct

splash-2017-OOPSLA
15:30 - 17:00: OOPSLA - Dynamic Analysis at Regency C
Chair(s): Jonathan AldrichCarnegie Mellon University
splash-2017-OOPSLA15:30 - 15:52
Talk
Christoffer Quist AdamsenAarhus University, Anders MøllerAarhus University, Frank TipNortheastern University
DOI
splash-2017-OOPSLA15:52 - 16:15
Talk
Benjamin P. WoodWellesley College, Man CaoOhio State University, Michael BondOhio State University, Dan GrossmanUniversity of Washington
DOI
splash-2017-OOPSLA16:15 - 16:37
Talk
DOI
splash-2017-OOPSLA16:37 - 17:00
Talk
Neville Grech, George FourtounisUniversity of Athens, Adrian FrancalanzaUniversity of Malta, Yannis SmaragdakisUniversity of Athens
DOI