phpDocumentor

phpDocumentorで出力されるメッセージを見ていると、プログラム上の問題も検出できることがある。defineで同じシンボルを重複して定義していると以下のような警告が出た。

WARNING: 
duplicate define element "XXXXXXXX" in file XXXXXXXX.inc will be ignored.
Use an @ignore tag on the original if you want this case to be documented.

そういえば、ちょっと前に、PHPでソースを静的にチェックするツールを探したのだが見つからなかった。Zend studioにそれらしい機能があるのは発見したのだが、それ以外には発見できなかった。