I suggest that adding phan with phan_helpers.
phan v6 shipped with phan_helpers
https://github.com/phan/phan/wiki/Phan-Helpers-Extension
The phan_helpers extension provides native C implementations of these operations, typically delivering 2-3x performance improvements and 5-15% overall analysis speedup on large projects.