ECHO: Instantaneous In Situ Race Detection in the IDE Conference Paper uri icon

abstract

  • We present ECHO, a new technique that detects data races instantaneously in the IDE while developers code. ECHO is the fist technique of its kind for incremental race detection supporting both code addition and deletion in the IDE. Unlike conventional static race detectors, ECHO warns developers of potential data races immediately as they are introduced into the program. The core underpinning ECHO is a set of new change-Aware static analyses based on a novel static happens-before graph that, given a program change, efficiently compute the change-relevant information without re-Analyzing the whole program. Our evaluation within a Java environment on both popular benchmarks and realworld applications shows promising results: for each code addition, or deletion, ECHO can instantly pinpoint all the races in a few milliseconds on average, three to four orders of magnitude faster than a conventional whole-program race detector with the same precision.

name of conference

  • Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering

published proceedings

  • FSE'16: PROCEEDINGS OF THE 2016 24TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON FOUNDATIONS OF SOFTWARE ENGINEERING

author list (cited authors)

  • Zhan, S., & Huang, J.

citation count

  • 26

complete list of authors

  • Zhan, Sheng||Huang, Jeff

publication date

  • November 2016