Facebook open-sources RacerD: Fast static race detection at scale

code.facebook.com