What are the best static-analysis projects according to HackerNews?

shellcheck
8 comments
ruff
8 comments
NullAway
7 comments
syft
6 comments
ImHex
4 comments
SwiftLint
4 comments
error-prone
4 comments
static-analysis
4 comments
psalm
4 comments
pytype
3 comments
gosec
3 comments