手机知网 App
24小时专家级知识服务
打 开
计算机软件及计算机应用
手机知网首页
文献检索
期刊
工具书
图书
我的知网
充值中心
从变量的初始化中获取指针指向信息
复旦大学并行处理研究所!上海200433,复旦大学并行处理研究所!上海200433,复旦大学并行处理研究所!上海200433 ;
|
黄波
臧斌宇
朱传琪
从变量的初始化中获取指针指向信息是完整的指针分析不可缺少的一个重要环节,它有助于提高其它数据流分析的准确性.文中提出了一个实用的从变量的初始化中获取指针指向信息的方法.在此方法中,变量的初始化首先被转换成语义等价的语句序列,然后在指针分析的过程中融入对这些语句序列的分析而求取出相关的指针指向信息.这个方法被实现在复旦大学并行处理研究所开发的C程序分析工具Agassiz系统内,实验数据说明是非常有效的.
机 构:
复旦大学并行处理研究所!上海200433,复旦大学并行处理研究所!上海200433,复旦大学并行处理研究所!上海200433;
领 域:
计算机软件及计算机应用
;
关键词:
变量的初始化
;
指针指向信息
;
指针分析
;
格 式:
PDF原版;EPUB自适应版
(需下载客户端)
5
80
下载PDF版
手机阅读本文
下载APP 手机查看本文
计算机研究与发展
2000年02期
精选好书
查看更多好书
搜 索