フローに基づくエイリアス解析
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2009/08/30 03:50 UTC 版)
「エイリアス解析」の記事における「フローに基づくエイリアス解析」の解説
フローに基づく解析は、型に基づいた解析とは異なり、参照や型のキャストがある言語でも適用することができる。フローに基づく解析は、型に基づいた解析を代替したり、補う形で用いることができる。フローに基づく解析では、新たなエイリアス領域がメモリの割り当てごとに作成され、参照は時間が経過すると別の領域を指す可能性もあり、複数のエイリアス領域にまたがる可能性がある。これは、各メモリ位置が単一ではなく複数のエイリアス領域を持つことを意味する。
※この「フローに基づくエイリアス解析」の解説は、「エイリアス解析」の解説の一部です。
「フローに基づくエイリアス解析」を含む「エイリアス解析」の記事については、「エイリアス解析」の概要を参照ください。
- フローに基づくエイリアス解析のページへのリンク