Facebook open-sources RacerD: Fast static race detection at scalecode.facebook.com32 pointsdons9 years ago