论文部分内容阅读
建立了一种用于静态类型面向对象程序的类型分析框架，该框架集成了目前最为实用的４种类型分析方法，即唯一名分析、类层分析、快速类型分析以及指针别名分析。首先在这４种方法的基础上提出了类型分析的层次模型，然后以此模型为核心，结合程序预处理器和信息加工器等建立了一种类型分析框架，该框架适合分析静态类型的面向对象程序，如Ｃ＋＋／Ｊａｖａ程序等。