Static Race Detection

Meta's efforts in static race detection have evolved with the development and open-sourcing of RacerD, a tool built on the Infer static analysis platform. RacerD employs symbolic reasoning and compositional analysis to identify data races in Java programs without requiring program execution. It has been instrumental in catching concurrency issues in production codebases, supporting the conversion of critical features like News Feed to multi-threaded models. The focus is on high signal detection, interprocedural analysis, and speed to integrate into developer workflows.