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