Facebook’s RacerD detects hard-to-find race conditions in Java code

No longer a prototype, RacerD is part of the Infer static analysis platform