Phan
PHPの静的型検査Library
Flow-sensitive Typingもあるらしい(?)
github