一种基于层次模型的面向对象类型分析框架

摘要：

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

关键词：类型分析、唯一名、类层次分析、快速类型分析、指针别名、面向对象、框架

所属期刊栏目：36

分类号：TP311.5(计算技术、计算机技术)

资助基金：江苏省自然科学基金BK99038

在线出版日期：2008-05-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：552-559