【摘 要】
：
数据流分析是一种非常重要的静态程序分析技术,而指针的使用使倒数的流分析变得更加复杂和困难.该文定义了一个Pascal语言的子语言S-pascal,并以该语言为对象,着重研究了在指
论文部分内容阅读
数据流分析是一种非常重要的静态程序分析技术,而指针的使用使倒数的流分析变得更加复杂和困难.该文定义了一个Pascal语言的子语言S-pascal,并以该语言为对象,着重研究了在指针存在情形下的嵌套式语言的全程数据流分析技术.该文对S-Pascal语言中的指针做了详细的研究,给出了针对S-Pascal语言的指针分析方法及该方法的形式化描述;赋值语句和过程调用是数据流分析的两个关键问题,文中结合了指针分析的结果,给出了相应的数据流方程以及全程数据流分析算法,并提出了一种基于路径剖析算法的分析优化技术,使全程数据流分析效率更高;最后设计并实现了一个小型的实验系统,验证了提出方法的可行性和实用性.
其他文献
简单网络管理协议(SNMP)是TCP/IP网络管理的标准协议，网络管理代理是网络管理体系中的核心实体。网络管理代理是一种软件模块，它存在于被管理的网络设备上，用来访问运行状态、设
随着计算机网络,特别是因特网的迅速发展和广泛应用,网络安全问题随之出现,并成为当前研究的热点.WEB欺骗攻击是一种关于数据传输的新攻击,主要用于非法窃取用户的银行帐号、
该文以城市环境地理信息系统GISENV为背景,对地理信息系统在城市环境保护中的应用进行了深入的研究,取得了如下的成果:1、实现了以环境数学模型为基础,对复杂的数据进行分析
该文应用90年代兴起的数据仓库技术作为决策支持系统中数据管理的解决方案,并对决策支持系统与数据仓库技术有效的结合方面进行了深入的研究.并在此基础上,以法院案件管理为
该文设计并实现了一个基于Web网关技术的Internet网络设备管理系统NetAdmin,该系统运行于客户/服务器模式下,将设备管理与Web技术紧密结合,用VisualC++,JavaScript及HTML等实
截面轮廓特征约束重建是实现自由曲面重建的关键，同时对重建曲面边界的确定也起着重要的作用。自由曲面重建的方法是利用截面轮廓以及方向矢量作为参数，通过拉伸、旋转、放样、
入侵检测技术作为数据加密、防火墙等安全手段后的新一代安全保障技术,能够对网络安全进行主动的监控,极大地增强了网络的安全性.传统的入侵检测系统(IDS)需要把所有的目标机
该文来自塔里木油田指挥中心实验检测中心管理信息系统,讨论了Web数据库系统计算模式的理论和概念,以及构建系统的方案和技术,部总结了企业级Web应用系统的一般方法.最后根据
该文共分五章,第一章为绪论,简单介绍图像编码的一般方法及当前图像编码方法的发展方向和研究热点,同时介绍了评价图像编码性能的几个常见指标.第二章:讨论了小波变换的基本
高性能的微处理器和高速计算机网络的出现，使得把由大量CPU组成的计算系统通过高速网络连接在一起不仅成为可能，而且变得十分容易。网络作业管理系统就是一种建立于操作系统之