【摘 要】
：
该论文主要研究了C/C++语言程序切片中的指针分析算法.在安全性分析工具的设计中,我们采用程序切片技术进行安全性分析.当进行数据流分析时,指针的出现会引起到达一定值的不
论文部分内容阅读
该论文主要研究了C/C++语言程序切片中的指针分析算法.在安全性分析工具的设计中,我们采用程序切片技术进行安全性分析.当进行数据流分析时,指针的出现会引起到达一定值的不确定,影响数据流分析的精度.指针别名分析确定指针变量可能的指向,从而缩小假设的范围,使数据流分析更加准确.该文实现了一个流敏感的过程内指针别名分析算法.在实现算法的过程中,首先利用GCC编译系统的前端将源程序转换为抽象语法树,再从中提取出指针赋值语句和函数调用语句里的指针信息并保存在控制流图里,最后使用一个迭代的算法来实现别名分析.该文还讨论了跨过程分析算法的基本框架.文中的指针算法可以处理C/C++语言主要的数据类型,但在处理数组时只能把数组作为一个整体对待而不能区分其元素.
其他文献
现代远程教育是基于计算机网络技术、多媒体技术、现代通信技术而迅速发展起来的一种新型教育模式,师生之间借助信息通讯技术进行异地远距离交互,远程教育中师生处于时空分离
随着视频点播、电视会议、远程教育、网络交互式游戏等实时性业务的兴起，组播技术得到了广泛的应用。这些实时业务一般在IP组播之上，采用UDP协议进行传输。然而，由于UDP协议和IP
移动Agent计算模式被认为是未来的主流分布式计算模式。相对于对象而言，Agent是一个粒度更大、智能性更高、具有一定自治性的实体。面向Agent的软件开发被认为很可能就是继面
Internet上出现了一些新式应用，例如分布式会议系统，共享白板，远程教学，协同工作和基于Internet的联机游戏等。在这些应用中同时参与计算的节点有多个，用传统的点对点传输协议构建
Web平台上的ERP系统是一个基于Web环境的完全开放，可动态扩展的ERP系统。在Web平台上的应用程序体系结构中，系统各应用按照表示层，业务层，服务层分层次实施，表示层按照HTML的形式