コードに対してエイリアス解析を行う際、メモリへの各ロードとストアは領域ごとにラベル付けされる必要がある。