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