PVS-Studio does an analysis of LLVM: https://medium.com/@Coder_HarryLee/finding-bugs-in-the-code-of-llvm-project-with-the-help-of-pvs-studio-c615098fc790 (though I do wonder whether clang devs will just implement similar checks!)