「制御フロー解析」で、プログラムの出口にたどり着かない「無限ループ」を特定する手法は。

グラフ構造上、特定のループから脱出するエッジが存在しない、または条件が不備であることを解析します。