Facebook’s open-source static analysis tool, Infer, now ships with support for detecting race conditions in Java code via RacerD. BT. ... int shares = 0; public void buy(int count) ...