I use Psalm to statically analyze PHP code, and in my experience the control flow analysis is actually better than in TypeScript.