Pylint and mypy are about syntax and type-checking. While I agree these kind of ...

		clarus on July 29, 2019 \| parent \| context \| favorite \| on: Scaling Static Analyses at Facebook Pylint and mypy are about syntax and type-checking. While I agree these kind of tools work well, if think that by static analysis people usually imply something which goes farther than that. For example, the languages Facebook is citing (C++, Java, ...) already include type-checking in the compiler.

Pylint catches lots of semantic bugs, far from just syntax.