论文部分内容阅读
面向对象语言的动态绑定特性，使得它们实现的程序易于演化与维护．但由此而带来的问题是这些程序难以分析与优化。针对现有一些分析方法的精度普遍不够理想的情况．提出一种只对程序的指定场景进行分析的方法。介绍了场景的抽象与场景相关代码的提取，给出了指定场景下类型分析的方法，并以一个实例进行分析，表明丁这种方法可获得更为精确的分析结果，提高类型分析的精度。