Thread Safety Analysis in Clang
clang.llvm.org