I think all the code errors like this is why some people are scared to open source their code. While it’s a great learning experience some people just get overwhelmed with the possibility of wrongness so they don’t.
I’d go as far as saying that this kind of posts worsen the situation. In general, if you find bugs in open source code, it’s better to quietly file bugs to the author instead of writing a full post listing errors people made. It’s like your high school teacher calling you out in front of class for mistakes you made in a test. Not cool.
This post was an advertisement for static code analysis, not a shaming. It even mentions that these bugs will probably soon be fixed, which is good for Microsoft.
This post shows some false-positives and present them as bugs. It is mildly disingenuous for the casual observer.