Definite assignment analysis とは

コンピュータサイエンスでは、明確な割り当て分析は、変数や場所が常に使用される前に割り当てられることを保守的に保証するために、コンパイラによって使用されるデータフロー分析です。