搜索到100篇“ 别名分析“的相关文章
- 程序向量化过程中动静结合的内存别名分析处理方法及装置
- 本发明属于高性能计算并行化处理技术领域，特别涉及一种程序向量化过程中动静结合的内存别名分析处理方法及装置，包含：针对向量化过程中循环体内的所有内存引用，构建待测内存引用对集合；程序编译阶段，通过静态分析确定待测内存引用对...
- 徐金龙陶小涵刘晓楠李亚朋李颖颖黄亮明
- 程序向量化过程中动静结合的内存别名分析处理方法及装置
- 本发明属于高性能计算并行化处理技术领域，特别涉及一种程序向量化过程中动静结合的内存别名分析处理方法及装置，包含：针对向量化过程中循环体内的所有内存引用，构建待测内存引用对集合；程序编译阶段，通过静态分析确定待测内存引用对...
- 徐金龙陶小涵刘晓楠李亚朋李颖颖黄亮明
- 文献传递
- 一种程序中指针别名分析方法
- 本发明公开了一种程序中指针别名分析方法，应用于程序分析领域。所述方法包括：在程序运行过程中维护一个存储程序中所有指针指向信息的全局数据结构；当指针被声明时，在所述全局数据结构中添加一条新记录；当指针被赋值引用时，根据赋值...
- 不公告发明人
- 文献传递
- 一种程序中指针别名分析方法
- 本发明公开了一种程序中指针别名分析方法，应用于程序分析领域。所述方法包括：在程序运行过程中维护一个存储程序中所有指针指向信息的全局数据结构；当指针被声明时，在所述全局数据结构中添加一条新记录；当指针被赋值引用时，根据赋值...
- 不公告发明人
- 高效而精确的锁别名分析方法
- 2016年
- 锁别名分析能够得到锁指针变量的指向信息,有效的锁别名分析可以更好地辅助数据竞争分析和死锁分析.现有锁别名分析往往采用保守的方式处理,进而影响分析结果的准确性.针对这一问题,提出了一种锁别名分析方法,该方法首先使用GCC插件获取SSA形式的中间代码,然后对中间代码进行预处理以获得与锁、函数指针操作相关的语句,最后对预处理后的程序使用本文提出的FP_LOCK算法进行准确的流敏感、上下文敏感分析.实验结果表明该方法能精确地确定锁别名,并且经过预处理后的FP_LOCK算法对分析大程序平均有9.95倍的加速比.
- 陈露顾乃杰黄理杜云开
- 关键词：SSA中间代码上下文敏感
- 流敏感按需指针别名分析算法被引量：2
- 2015年
- 为了提高交互环境下指针别名查询的响应效率,近期研究提出通过只分析与目标相关指针的按需分析策略来降低浪费在与目标无关的指针分析的额外开销.典型的代表是基于上下文无关文法的按需别名分析算法.但是,该算法的精度只局限于控制流不敏感.控制流不敏感的别名关系将约束上层分析的精度.针对该不足,提出了具有流敏感精度的按需别名分析算法.首先采用不完全静态单赋值语句形式来区分指针变量赋值实例,然后通过层次线性化编码方法来表达控制流图中的流敏感信息以构建赋值流图,最后将别名关系查询问题转换为在赋值流图上搜索目标结点间在控制流可达条件下赋值路径的可达性问题,进而实现流敏感的按需别名分析.实验表明,与流不敏感的按需别名分析相比,该方法可以在保证查询效率的前提下,有效提高按需别名分析的精度.
- 逄龙苏小红马培军赵玲玲
- 关键词：别名分析上下文无关语言
- 一种面向向量化的动态指针别名分析框架被引量：4
- 2015年
- 指针别名分析是数据流分析中的关键性技术,其分析结果是编译优化和程序变换的基础。在向量化方法和动态指针别名分析相关研究的基础上,设计了一种面向向量化的动态指针别名分析框架。该框架通过动态插桩和试运行提取指针别名信息,并反馈到向量化阶段指导向量化代码生成。从提取候选别名分析集、插桩及试运行和反馈优化3个方面对整体框架进行分析和研究。该框架基于Open64实现,并以通用测试集GCC-VECT和典型应用进行了实验评估,结果表明,该框架相比静态指针别名分析具有更精确的别名分析结果,该结果能够有效改进向量化程序的加速比。
- 刘鹏赵荣彩李朋远
- 关键词：向量化
- 一种基于别名分析技术的软件测试方法
- 本发明公开一种基于别名分析技术的软件测试方法，通过在控制流上对一些涉及别名关系的语句进行特殊分析，利用空间抽象三元模型将变量声明、值和内存空间进行关联，这个过程迭代到控制流不再扩展为止；并通过定义别名分析的三元模型，区别...
- 金大海宫云战周虹伯王雅文黄俊飞赵云山王前
- 文献传递
- Java语言程序例化中的扩展对象别名分析
- 2013年
- 随着计算机技术的不断进步和发展,Java语言程序凭借着自身的优势得到了广泛的应用,并取得了显著的成效。同时为了推动Java语言程序在计算机技术的作用,需要提高其精度,这就需要借助一定的对象别名分析技术。本文笔者对对象别名分析技术进行了分析和探讨,主要是为提高求值的深度,同时为实现Java语言程序中部分求值器的绑定时间分析的实现,进而为Java语言程序的应用提供指导和借鉴。
- 许云飞
- 关键词：JAVA语言程序部分求值
- 基于指针别名分析的高效锁集分析工具
- 传统的多线程程序引入了互斥锁作为一种保护临界区域的方式,然而,锁的使用引入了新的错误,例如得到锁却没有释放。锁的误用导致的错误是非常常见且难以发现的。经典的静态代码分析工具不用执行源代码程序就可以检测软件的错误或缺陷,所...
- 章迪
- 关键词：程序切片
相关作者
- 张艳梅
- 作品数：92被引量：220H指数：10
- 供职机构：中国矿业大学
- 研究主题：软件测试 切片 软件测试技术 复杂度 教学改革
- 宫云战
- 作品数：316被引量：531H指数：14
- 供职机构：北京邮电大学
- 研究主题：软件测试 控制流 抽象语法树 控制流图 测试用例
- 杨滨诚
- 作品数：3被引量：0H指数：0
- 供职机构：南京大学
- 研究主题：别名分析 缓冲区溢出 数据流分析 入侵检测 程序漏洞
- 张杨
- 作品数：39被引量：60H指数：5
- 供职机构：河北科技大学信息科学与工程学院
- 研究主题：JAVA 面向方面编程 并发程序 残差 网络
- 刘坚
- 作品数：32被引量：146H指数：7
- 供职机构：西安电子科技大学计算机学院软件工程研究所
- 研究主题：安全漏洞 抽象语法树 C++程序 AST 缓冲区溢出
