Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
- php
- static-analysis
- phan
- analysis
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
A tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead
- java
- static-analysis
- android
- nullability
A fast, feature-rich static code analyzer & language server for Python
Python Type Checker / Language Server
- autocompletion
- language-server-protocol
- mypy
- python