【摘 要】
：
本文针对一个C/C++程序静态安全检查工具,设计与实现了其中的数据流分析器,该数据流分析器为安全检查工具收集安全检查时需要的数据流信息。本文首先阐述了数据流分析的基础
论文部分内容阅读
本文针对一个C/C++程序静态安全检查工具,设计与实现了其中的数据流分析器,该数据流分析器为安全检查工具收集安全检查时需要的数据流信息。本文首先阐述了数据流分析的基础理论,研究了传统的迭代数据流分析方法,在此基础上根据安全检查工具的实际需求,提出了一种基于控制流路径的数据流分析方法。其次,根据该方法设计与实现了一个数据流分析器,该数据流分析器以控制流图和抽象语法树为基础,搜索出控制流图中的控制流路径,沿着路径通过遍历抽象语法树以计算数据流信息；重点讨论了数据流分析器的整体工作流程、控制流路径的搜索以及数据流信息的计算。最后,本文讨论了一类具体的整型变量值分析的设计与实现,并利用其分析结果实现了数组越界检查。实验表明,该数据流分析方法是有效的。
其他文献
湖南是一个水旱灾害多发的省份,为了减轻灾害损失,在大力进行防洪工程设施建设的同时,必须加强防洪非工程措施的建设和各类水利信息化系统的建设。由于湖南省现有各类水利工
随着互联网的飞速发展和用户单机处理能力的不断增强,P2P流媒体不仅彻底革新了人们对传统媒体的观念,还深刻改变了人们生活、工作和娱乐方式。于此同时,P2P流媒体也成为计算
WEB日志挖掘的主要目标是从WEB的访问记录中抽取感兴趣的模式,通过分析这些挖掘结果可以帮助理解用户的行为,从而改进站点的结构或为用户提供个性化的服务。在WEB数据挖掘领
随着互联网的飞速发展,流媒体技术正越来越得到普遍的应用,越来越多的人们选择从互联网上获得视频点播、网络电视等服务。网络视频作为越来越被认可的媒体表现形式,市场价值
不同需求类型的互联网应用快速发展扩大了对底层互联网硬件设施的需求。由于搭建硬件设施成本高,虚拟网络服务提供商将基础硬件设施网络和用户请求的资源网络分别抽象成物理
二十一世纪是互联网的时代,“互联网+教育”使学生们的学习方式发生了变化,由传统的实体课堂转移到网络课堂,从老师面对面解惑答疑到上网搜索解题资料。学生今后不光采用集中
无线传感器网络有着广阔的应用前景,作为传感器网络关键技术的路由协议也成为研究的热点之一。由于无线传感器网络应用环境和传感器节点能量有限的特点,路由协议设计的首要目
互联网上随处可见的数字图像和视频引发了人们对数字图像的关注,对图像质量评价领域的关注和研究也呈加速发展的态势。近几年随着生物学家对人眼视觉系统(Human Visual Syste
链路聚合技术,又叫链路捆绑技术,目前已被广泛地应用在一些网络连接中。通过将多条链路捆绑在一起提高了网络系统的带宽,并且为网络系统提供了高可用性,负载分担等功能。1999
随着社会生产力的发展,人们的活动形式日益广泛和多样化,地图服务的形式也随之不断进步,从传统的纸质地图到电子地图和网络地图。但是目前的地图服务形式主要以固定终端方式