https://en.wikipedia.org/wiki/Control_flow_analysis - [[制御フロー分析 (TypeScript)]]