Hacker News new | ask | show | jobs
by adamnemecek 4390 days ago
Remind me, what's the typing discipline of the languages supported by Coverity?
1 comments

Isn't that a touch of a diversion? With the large target area of code covered by C, it makes the most sense that that is the heaviest targetted area. This list[1] shows that there are plenty of options to go around. Even Perl gets some love. :)

[1] http://en.wikipedia.org/wiki/List_of_tools_for_static_code_a...

You do realize that all those tools for dynamic languages are code formatters right? That they won't catch any real bugs. You do realize that right? Why do you think that they can't catch any real bugs? Hint: it has to do with static typing or lack thereof.
That is like claiming a tool like lint can't be used to catch bugs. And... not all of them are. Did you read all of the tools in the "mixed languages" section? Quite a few of the really good tools can find mistakes in dynamic languages.

Shit, this is no different than the article making the rounds talking about the many "gotchas" in bash scripting. Just making a tool that spots those is likely to catch and help correct errors.