Static type checker for Python
Static code analysis
An extensible multilanguage static code analyzer
A source code analyzer
Static code analysis to find violations in a dependency graph
Code editor that connects you to your creation with instant feedback
Kammerjäger is a debugging tool with integrated correctness proving.