Mirror of RELAY: Static Race Detection, by Jan Wen Voung http://cseweb.ucsd.edu/~jvoung/race/ - View it on GitHub