【摘 要】
：
本文主要研究函数依赖关系分析与异常安全模式构建。函数依赖关系分析是构建异常安全模式的基础，通过分析函数调用关系在程序中的各种表现形式，提出了一种将函数调用依赖关系图
论文部分内容阅读
本文主要研究函数依赖关系分析与异常安全模式构建。函数依赖关系分析是构建异常安全模式的基础，通过分析函数调用关系在程序中的各种表现形式，提出了一种将函数调用依赖关系图转为函数调用关系偏序序列的方法，并通过测试用例分析结果说明方法的有效性。异常安全模式构建在函数依赖关系的基础上，根据C++语言提供的异常处理机制，对程序中错误使用异常处理机制的程序片段，即安全漏洞进行了详细的分析，并对异常处理程序中安全漏洞进行分类。在此基础上，构建程序中异常处理的安全规则，使用过程间自下而上收集传递信息和过程内语法制导翻译相结合的方法，实现了C++程序异常处理中安全漏洞的静态检查。最后通过实例分析验证了异常安全检查方法的有效性，并指出仍存在的不足和对后续工作的建议。
其他文献
SOAP(Simple Object Access Protocol)作为Web服务通信协议的基础,在实现Web服务安全性的工程中扮演着极其重要的角色。SOAP的设计思想是通过现有的标准和协议来建立一个简单
随着“数字地球”概念的提出和发展,作为其重要组成部分的三维地理信息系统也得到了长足的发展。三维地理信息系统的研究领域涉及计算机图形学、虚拟现实、空间数据库等技术
随着Internet应用的迅速发展,网上信息迅速增长,信息种类也越来越多,人们面对太多的信息无法选择和消化,此种现象称为信息过载。Internet上信息资源分布的广泛性又给用户寻找
在网络技术高速发展的今天,人们越来越依赖于网络进行信息的处理。因此,网络安全就显得相当重要,随之产生的各种网络安全技术也得到了不断地发展。防火墙、加密等技术,总的来
志愿者计算模型的基本原理是利用Internet上广泛分布的空闲计算资源,运行计算量大的分布式应用。目前已有的志愿者计算项目虽然取得了一定的成功,但是还存着编程接口复杂,没
随着多媒体数据库的不断发展，传统的利用关键词进行图像检索已经越来越不能满足图像检索的需要，基于内容的图像检索已成为当前的研究热点。 本文首先介绍和分析了基于内容图
序列比对是现代生物信息学中一个最基本的研究课题。通过多序列比对,可以预测新序列的结构和功能,分析序列之间的同源关系,以及进行系统发育分析。目前还没有一个最佳的多序
欠驱动系统是指系统驱动个数少于系统自由度个数的一类非线性系统。由于驱动装置的缺失，对该类系统的控制算法研究要比全驱动系统复杂，目前仍然没有统一的控制理论适用于这类系
随着智能车载终端的高速发展，智能车载终端的功能越来越多，需要处理的数据量也在成倍增加。嵌入式数据库作为车载终端上应用程序数据存储的重要载体，起到保证数据安全、便于数据
对于传感器数据的处理技术的研究是有效地利用传感器网络的重要途径。本文主要分析并改进了感知数据存储以及感知数据的查询处理的方法，设计了感知数据管理系统WsnDB。 首