データフロー解析において、ある変数が「定義」されてから「使用」されるまでの間に、再度「定義」も「解放」もされないパスを何と呼ぶか。

定義された値が、他の定義によって上書きされずに特定の場所まで到達することを保証するパスです。