Using Clang's Static Analyzer To Find Bugs In Your Code
Phoronix: Using Clang's Static Analyzer To Find Bugs In Your Code
Besides shorter compile times and other benefits, one of the other commonly talked about advantages of using LLVM's Clang C/C++ compiler is its arguably excellent static analyzer tool...
The clang static analyzer is pretty neat. I was playing around with a couple of years ago on some open source code and it issued forth a couple of alarms. Since I couldn't grasp what was going on in the code I emailed the developer the offending reports and sure enough at least one of the issues found was a real bug. Felt good to help an open source project that was deeply math related even though math was never my strong point.
The static analyzer like all LLVM projects gets steadily better, but I do wish that more work would be put into it.