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 Difference report
Kammerjäger is a debugging tool with integrated correctness proving.