UML类图是软件建模中最常用的图形化表示之一。类间二元关系是UML类图中的重要组成部分，它包括关联、聚合、组合关系等。鉴于UML在......

设计模式是软件设计中典型问题的经典解决方式，但是其具体实现方式丰富多样。从源程序中识别出设计模式的实例，并提取出其语法和语义......

指向分析是一种推测运行时变量引用的静态分析技术。需求驱动指向分析技术的提出一般用于一些时间或内存上受到严格限制的环境,比......

在软件生命周期中,软件测试是保证软件质量的重要环节之一。软件测试可分为动态检测和静态检测,动态检测是通过测试用例在运行时检......

对堆内存对象进行存储管理优化需要的支撑信息之一是堆对象的结构信息,本文定义指向图来抽象堆内存对象及其结构,把获取结构信息的......

锁别名分析能够得到锁指针变量的指向信息,有效的锁别名分析可以更好地辅助数据竞争分析和死锁分析.现有锁别名分析往往采用保守的......

文中提出了一种跨过程指针别名分析的框架，研究了基于此框架的一个流敏感、上下文敏感的指针分析算法。该算法采用了共享指针指向信......

指针的指向分析在检测C语言多线程程序的数据竞争中占有重要的地位。Steensgaard提出的流非敏感上下文非敏感的指针别名分析算法,......

提出保障程序可信性的指针分析基础架构,为上层提供通用和丰富的接口及数据信息,不仅能够完成高效精确的指针分析,同时还为上层软......

对指针别名及其表示方式进行了阐述。描述了跨过程指针别名分析的框架,通过在分析时创建PCG(程序调用图)来处理函数指针。研究了基......

需求驱动指向分析技术一般用于受到严格时间或内存限制的环境。提高需求驱动指向分析的流敏感度,可使一些变量得到准确的指向关系,......

ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清......

<正>摘要目的评估血流敏感散相稳态自由进动序列MR非增强血管成像对糖尿病病人足动脉的影像显示质量和诊断效能。材料与方法本前瞻......

本文提出一种流敏感的静态检测算法。通过需求驱动的控制流分析和数据流分析,建立内存访问语句和函数调用语句发生溢出的线性约束,......

针对目前指针分析算法的程序中间表示形式不能充分表示程序的语法结构与语义,因而不适合应用于源代码-源代码级别的程序转换与分析......