指针别名

作品数：8被引量：16H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：苏小红马培军王甜甜刘强汤志忠更多>>
相关机构：哈尔滨工业大学西安电子科技大学中国科学院清华大学更多>>
相关期刊：《哈尔滨工业大学学报》《电子学报》《计算机研究与发展》《软件学报》更多>>
相关基金：国家自然科学基金国家教育部博士点基金国家高技术研究发展计划国家科技重大专项更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
流敏感按需指针别名分析算法被引量：2
《计算机研究与发展》2015年第7期1620-1630,共11页逄龙 苏小红 马培军 赵玲玲 
国家自然科学基金项目(61173021)
为了提高交互环境下指针别名查询的响应效率,近期研究提出通过只分析与目标相关指针的按需分析策略来降低浪费在与目标无关的指针分析的额外开销.典型的代表是基于上下文无关文法的按需别名分析算法.但是,该算法的精度只局限于控制流不...
关键词：别名分析 流敏感精度 按需查询 上下文无关语言 图可达性 
一种面向向量化的动态指针别名分析框架被引量：4
《计算机科学》2015年第3期26-30,共5页刘鹏 赵荣彩 李朋远 
"核高基"国家科技重大专项(2009ZX01036)资助
指针别名分析是数据流分析中的关键性技术,其分析结果是编译优化和程序变换的基础。在向量化方法和动态指针别名分析相关研究的基础上,设计了一种面向向量化的动态指针别名分析框架。该框架通过动态插桩和试运行提取指针别名信息,并反...
关键词：指针别名分析 向量化 动态分析 依赖分析 
基于系统依赖图的过程间指针分析方法
《系统工程与电子技术》2010年第3期614-619,共6页王甜甜 马培军 苏小红 郭全萍 
国家自然科学基金(60673035)资助课题
针对目前指针分析算法的程序中间表示形式不能充分表示程序的语法结构与语义,因而不适合应用于源代码-源代码级别的程序转换与分析的问题,提出了一种基于系统依赖图的过程间指针别名分析算法。改进了指针别名信息的表示方法,精确描述数...
关键词：系统依赖图 指针别名 流敏感 上下文敏感 
程序标准化转换中的指针分析算法研究被引量：4
《电子学报》2009年第5期1104-1108,共5页王甜甜 苏小红 马培军 
国家自然科学基金(No.60673035)
针对已有指针分析算法的程序中间表示不能充分表示程序的语法结构与语义,而导致不适合应用于程序标准化转换的问题,提出基于控制依赖树的流敏感和上下文敏感的过程间指针分析算法.将程序表示为控制依赖树,改进指向表示法用以表示指针别...
关键词：程序标准化 指针分析 指针别名 控制依赖树 
用指针实现的程序的标准化及其应用被引量：1
《哈尔滨工业大学学报》2009年第3期48-52,共5页王甜甜 郭全萍 马培军 苏小红 
国家自然科学基金资助项目(60673035)
为了消除指针程序实现形式的多样化,简化程序分析,提出一种对用指针实现的程序进行标准化的方法.首先将程序表示成系统依赖图,分析指针别名信息;然后制定指针标准化规则并结合已有的代码多样化消除规则,对系统依赖图进行保持语义不变的...
关键词：指针别名 系统依赖图 程序标准化 别名替换 别名分析 
运行时消除指针别名歧义方法的加速比分析
《软件学报》1999年第10期1054-1060,共7页乔林 汤志忠 张赤红 苏伯珙 
国家自然科学基金
采用软硬件结合的运行时消除指针别名歧义方法ＳＨＲＴＤ（ｓｏｆｔｗａｒｅ／ｈａｒｄｗａｒｅｒｕｎ－ｔｉｍｅｄｉｓａｍｂｉｇｕａｔｉｏｎ）适用于不可逆代码，同时，它的代码空间受到限制，不存在严重的代码可重人性问题．文章详...
关键词：超长指令字 指针别名 歧义相关性 并行编译 
一种运行时消除指针别名歧义的新方法被引量：2
《软件学报》1999年第7期685-689,共5页汤志忠 乔林 张赤红 苏伯珙 
国家自然科学基金
提出一种采用软硬件结合的运行时消除指针别名歧义的新方法ＳＨＲＴＤ（ｓｏｆｔｗ ａｒｅ／ｈａｒｄｗ ａｒｅｒｕｎ－ｔｉｍ ｅ ｄｉｓａｍ ｂｉｇｕａｔｉｏｎ）．为延迟运行时不正确的内存访问及其后继操作，ＳＨＲＴＤ的功能单元...
关键词：指令级并行性 指针别名 运行时补偿 并行计算机 
指针数组的过程内别名分析被引量：3
《软件学报》1999年第6期600-607,共8页黄波 臧斌宇 俞一峻 朱传琪 
国家自然科学基金;国家863高科技项目基金;国家教育部博士点基金
指针别名分析在Ｃ语言的并行优化中占有重要的地位，但已有的指针别名分析只能处理指针标量的情况．文章在介绍已有指针别名信息表示法的不足的基础上，提出了一种能够表示指针数组别名信息的表示方法，它可以更加准确地表示指针别名信...
关键词：指针别名 指针数组 并行优化 并行编译 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部