面向Java的实用别名分析技术

摘要

别名分析对程序分析起着十分重要的作用,不进行别名分析或分析算法选择不当,可能会影响分析结果的可信度,甚至会导致分析结果的完全不正确.因此给出了一种适用于Java程序的别名分析技术,并给出了分析算法的形式化描述.