%0 Conference Paper %1 Zhang:2017:RCR %A Zhang, Lu %A Wang, Chao %B Proceedings of the 39th International Conference on Software Engineering %C Piscataway, NJ, USA %D 2017 %I IEEE Press %K Browser DataRaces JavaScript RaceConditions RaceDetection Replay Scheduling %P 278--288 %R 10.1109/ICSE.2017.33 %T RClassify: Classifying Race Conditions in Web Applications via Deterministic Replay %X Race conditions are common in web applications but are difficult to diagnose and repair. Although there exist tools for detecting races in web applications, they all report a large number of false positives. That is, the races they report are either bogus, meaning they can never occur in practice, or benign, meaning they do not lead to erroneous behaviors. Since manually diagnosing them is tedious and error prone, reporting these race warnings to developers would be counter-productive. We propose a platform-agnostic, deterministic replay-based method for identifying not only the real but also the truly harmful race conditions. It relies on executing each pair of racing events in two different orders and assessing their impact on the program state: we say a race is harmful only if (1) both of the two executions are feasible and (2) they lead to different program states. We have evaluated our evidence-based classification method on a large set of real websites from Fortune-500 companies and demonstrated that it significantly outperforms all state-of-the-art techniques. %@ 978-1-5386-3868-2

@inproceedings{Zhang:2017:RCR, abstract = {Race conditions are common in web applications but are difficult to diagnose and repair. Although there exist tools for detecting races in web applications, they all report a large number of false positives. That is, the races they report are either bogus, meaning they can never occur in practice, or benign, meaning they do not lead to erroneous behaviors. Since manually diagnosing them is tedious and error prone, reporting these race warnings to developers would be counter-productive. We propose a platform-agnostic, deterministic replay-based method for identifying not only the real but also the truly harmful race conditions. It relies on executing each pair of racing events in two different orders and assessing their impact on the program state: we say a race is harmful only if (1) both of the two executions are feasible and (2) they lead to different program states. We have evaluated our evidence-based classification method on a large set of real websites from Fortune-500 companies and demonstrated that it significantly outperforms all state-of-the-art techniques.}, acmid = {3097402}, added-at = {2018-07-17T19:34:07.000+0200}, address = {Piscataway, NJ, USA}, author = {Zhang, Lu and Wang, Chao}, biburl = {https://www.bibsonomy.org/bibtex/267876d18225c7a7d4299c96510c5a6a6/gron}, booktitle = {Proceedings of the 39th International Conference on Software Engineering}, description = {RClassify}, doi = {10.1109/ICSE.2017.33}, interhash = {92c0bc0a2c5b6f8db8f509cd3ea0844e}, intrahash = {67876d18225c7a7d4299c96510c5a6a6}, isbn = {978-1-5386-3868-2}, keywords = {Browser DataRaces JavaScript RaceConditions RaceDetection Replay Scheduling}, location = {Buenos Aires, Argentina}, numpages = {11}, pages = {278--288}, publisher = {IEEE Press}, series = {ICSE'17}, timestamp = {2018-07-17T19:34:07.000+0200}, title = {{RClassify: Classifying Race Conditions in Web Applications via Deterministic Replay}}, year = 2017 }