The Phan 0.12.x releases support analysis of php 7.0-7.2, and can be executed with php 7.0+.
See the file NEWS.md for what has changed in this version.
The 0.12.3 release makes Phan analysis of array shape types stricter and fixes bugs.
It also supports annotations with Closure(T1 $a):T2 and callable():T2 syntax, and contains various other improvements and bug fixes