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.