RELAY: static race detection on millions of lines of code.

Jan Wen Voung Ranjit Jhala Sorin Lerner

Published in: ESEC/SIGSOFT FSE (2007)

Keyphrases

detection algorithm
detection method
line detection
object detection
source code
detection accuracy
automatic detection
false alarms
object recognition
false positives
event detection
straight line
dynamic analysis
real time
tens of thousands
line drawings
detection rate
anomaly detection
video sequences
website