流敏感相关论文
UML类图是软件建模中最常用的图形化表示之一。类间二元关系是UML类图中的重要组成部分，它包括关联、聚合、组合关系等。鉴于UML在......
设计模式是软件设计中典型问题的经典解决方式，但是其具体实现方式丰富多样。从源程序中识别出设计模式的实例，并提取出其语法和语义......
指向分析是一种推测运行时变量引用的静态分析技术。需求驱动指向分析技术的提出一般用于一些时间或内存上受到严格限制的环境,比......
学位
在软件生命周期中,软件测试是保证软件质量的重要环节之一。软件测试可分为动态检测和静态检测,动态检测是通过测试用例在运行时检......
对堆内存对象进行存储管理优化需要的支撑信息之一是堆对象的结构信息,本文定义指向图来抽象堆内存对象及其结构,把获取结构信息的......
