In my brain "linters" ⊆ "static analyzers". Anything that looks at code without running it qualifies. I don't know what you mean by "proper" static analyzer.

In my brain "linters" ⊆ "static analyzers". Anything that looks at code without running it qualifies. I don't know what you mean by "proper" static analyzer. The static analyzer libraries that I use do produce lint, but this is among many other useful insights.