郭全萍

作品数：2被引量：1H指数：1
导出分析报告
供职机构：哈尔滨工业大学计算机科学与技术学院更多>>
发文主题：系统依赖图指针别名别名分析编程分析方法更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《哈尔滨工业大学学报》《系统工程与电子技术》更多>>
所获基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于系统依赖图的过程间指针分析方法
《系统工程与电子技术》2010年第3期614-619,共6页王甜甜 马培军 苏小红 郭全萍 
国家自然科学基金(60673035)资助课题
针对目前指针分析算法的程序中间表示形式不能充分表示程序的语法结构与语义,因而不适合应用于源代码-源代码级别的程序转换与分析的问题,提出了一种基于系统依赖图的过程间指针别名分析算法。改进了指针别名信息的表示方法,精确描述数...
关键词：系统依赖图 指针别名 流敏感 上下文敏感 
用指针实现的程序的标准化及其应用被引量：1
《哈尔滨工业大学学报》2009年第3期48-52,共5页王甜甜 郭全萍 马培军 苏小红 
国家自然科学基金资助项目(60673035)
为了消除指针程序实现形式的多样化,简化程序分析,提出一种对用指针实现的程序进行标准化的方法.首先将程序表示成系统依赖图,分析指针别名信息;然后制定指针标准化规则并结合已有的代码多样化消除规则,对系统依赖图进行保持语义不变的...
关键词：指针别名 系统依赖图 程序标准化 别名替换 别名分析 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部