What do you think about a "linter" for code logic?

Linters are great for style and syntax, but logic errors still rely heavily on human review. Do you think a linter for code logic - for example: risky condition changes, missing error handling, inconsistent early returns, or unsafe null/undefined assumptions - would be useful in practice if it ran at lint-stage or commit time?

Curious to hear what would actually help