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

github