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