A code quality project using Symfony components
Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
Official website: github.com/phan/phan