Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
By chatting or signing in you agree to the Terms and chat-message logging (revocable in History).