Infer has a thread-safety checker that identifies races in classes annotated with `@ThreadSafe` (http://fbinfer.com/docs/experimental-checkers.html).