> Clang Thread Safety Analysis is a C++ language extension which warns about potential race conditions in code. The analysis is completely static ... there is no run-time overhead. ... It is mature enough to be ... used extensively in Google’s internal code base.