Phan

Phan 是一个 PHP 的静态分析器。Phan更倾向于避免假阳性，并试图证明不正确性而不是正确性。「Phan is a...