I just came along linter and it seems to me it is just a soft synonym of static-analysis I propose we make it a proper one.
From the tag wiki:
NOTE: It is recommend to use the tag static-analysis instead.
While searching for prior art I also came along lint which has been discussed before and despite it's tag wiki is used much in the same way and not just for the lint
tool:
[lint] [c] is:q
- 54 questions[lint] -[c] is:q
- 1,718 questions
and not even all 54 C questions are about that specific tool.
So even if there is some opposite argument the fact that there is another pc-lint specific tag, the fact that static-analysis also applies to those questions and the overall usage in my opinion warrants synonymizing lint to static-analysis, too.
Since writing this I went through all of [lint] [c] is:q
and tagged pc-lint where it was obvious to me in order to preserve the specific tool info when this gets synonymized but if you're bored feel free to check if I missed something.
lint
is a slang term and the tag wiki forlint
states it's for the specific tools by gimpel only.