phpstan
PHP Static Analysis Tool - discover bugs in your code without running it!
dsherret
TypeScript Compiler API wrapper for static analysis and programmatic code changes.
pschanely
An analysis tool for Python that blurs the line between testing and type systems.