咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 1 篇 程序分析
  • 1 篇 别名分析
  • 1 篇 动态链状数据结构
  • 1 篇 到达定值
  • 1 篇 定值引用链

机构

  • 1 篇 中国科学技术大学

作者

  • 1 篇 fu xiao-peng
  • 1 篇 汪晨
  • 1 篇 zhang yu
  • 1 篇 wang chen
  • 1 篇 张昱
  • 1 篇 张伟
  • 1 篇 zhang wei
  • 1 篇 付小朋

语言

  • 1 篇 中文
检索条件"主题词=动态链状数据结构"
1 条 记 录,以下是1-10 订阅
排序:
一种面向动态链状数据结构的指针定值引用算法
收藏 引用
小型微型计算机系统 2011年 第7期32卷 1412-1417页
作者: 付小朋 张昱 张伟 汪晨 中国科学技术大学计算机科学与技术学院 合肥230027 中国科学技术大学苏州研究院软件安全实验室 江苏苏州215123
采用流敏感的方法分析计算过程内操作动态链状数据结构的指针定值引用.目的是连接对数据结构进行定值的语句和引用这些数据结构的语句,具体地,每条对数据结构进行定值的语句,算法将找出所有引用被该语句定值的数据结... 详细信息
来源: 评论