C code.facebook.com Facebook open-sources RacerD: Fast static race detection at scale 32 points dons 9 years ago 0 comments