If you're interested in static analysis, you may find this series of articles useful: http://btorpey.github.io/blog/2016/11/12/even-mo-static/ http://btorpey.gi

If you're interested in static analysis, you may find this series of articles useful: http://btorpey.github.io/blog/2016/11/12/even-mo-static/ http://btorpey.github.io/blog/2016/11/12/even-mo-static/. FWIW, I did not see a lot of false positives in the tests I did with clang. On the contrary, I would say that clang tends to be rather conservative, and doesn't report warnings unless they are almost certainly bugs. I'd certainly be interested in what others think -- if so inclined please leave a comment on the article, or email me directly.