【摘 要】
：
本文针对C／C++程序中使用无效指针引起的安全漏洞做静态检测。首先分析了漏洞的表现形式和产生原因，构建安全规则。然后在程序分析时，采用语法制导翻译的方法并结合安全规则实现
论文部分内容阅读
本文针对C／C++程序中使用无效指针引起的安全漏洞做静态检测。首先分析了漏洞的表现形式和产生原因，构建安全规则。然后在程序分析时，采用语法制导翻译的方法并结合安全规则实现对指针的静态检测。文中采用自下而上的分析方法，并结合契约思想，实现了对指针的跨过程检查。针对控制流分支，提出一种流敏感的分析方法，通过对控制流语句的分析和路径的跟踪记录，模拟程序的动态执行，给出比较充分的路径遍历方案，可以获得比较精确的分析结果。本文的检查方法实现在C／C++静态检查工具XDCHECK中，实验证明该方法是有效的。
其他文献
科技的进步和信息技术的发展使世界进入了前所未有的全球化时代，未来企业要想在竞争中立于不败之地，必须能够纵观历史和洞察未来趋势，以快速做出决策，而快速决策来自于对市场、客
无线传感器网络用于收集和传输环境数据,由大量无线的低功耗小传感器组成。这些微小的传感器节点具有数据处理、通信和感应部件。通常,传感器节点的价格都很便宜,以便于能够
虚拟机(Virtual Machine，VM)是相对我们平常所用的实际的计算机而言的一个概念，它是一个假想的模拟实际计算机进行工作的软件系统，同真实计算机一样，虚拟机有自己的中央处理器，指
为遏制当前校园内盛行的学生为完成作业相互抄袭之风,我们开发了一个论文甄别系统。这个系统利用现有的网络搜索引擎下载与学生上交的论文相关的文章,并自动把学生论文和下载
由于经典的粗糙集理论不能处理原始数据资料中的遗漏信息以及含有连续属性的数据，需要对这些数据进行补齐和连续属性离散化才能用于知识获取。因此数据预处理在粗糙集理论应用
进入新世纪以来,计算机技术、传感器技术得到迅速的发展,无线传感器网络开创了一个全新的研究领域,是学术界研究的热门课题。无线传感器网络在军事、国防安全和商业领域已经
本文提出了两个新的蛋白结构域预测系统，PPSAA-Domain和KemaDom，这两个系统分别采用基于模板的预测方法和从头算的预测方法。 首先，我们设计了一个新的基于模板的蛋白结构域
本文对入侵检测的智能化技术进行了探讨,并分析了它的发展现状。针对此现状,本文大胆地提出了智能化网络入侵检测模型。此模型以成熟的专家系统作为主要的入侵检测工具,以遗
电信管理网(Telecommunication Management Network, TMN)是一种新型的管理电信网的网络,其基本概念是提供一种有组织的网络结构,以取得各种类型的操作系统之间、操作系统与
随着无线通信技术、网络技术和低能耗的嵌入式的快速发展,衍生出无线传感器网络。由于无线传感器节点的能耗低、成本低,组网自组性和分布式结构带来了一场信息变革。无线传感