phphard

phphard is a PHP source code static analyzer. Its aim is to strong type PHP programs and detect bugs at compile time.

Pretty printing of PHP programs is also supported.

This project is currently hosted on GitHub.