JuLieN wrote:
Yes, and it's very impressive! It tells you before compile time things like "this point in this function is never reached." And things like that. Xcode makes really good use of it. I think developing with Clang should make bug-free development easier.
Yes static analysis is becoming increasingly popular and I too believe it's awesome. It's much faster and easier to fix bugs before they happen
There are commercial tools like Coverity, PVS, Goanna, but the licenses are much above what I can afford. VS2012 includes a static analyzer too and I've to say it's pretty good.
There is also open source cppcheck which isn't bad, except that it takes very long to analyze (much longer than any other SA tool I tried).
Of course the only problem with static analysis is false positives.
I recently tried Intel's static analysis and got 200 warnings/errors in my very simple program, 99% of them being false positives (I'm even tempted to say it probably wasn't parsing C++
.
But it may just need some tweaking, making it less sensitive.