【摘 要】
：
本文在分析C/C++程序安全检查工具框架的基础上，根据安全检查的特殊需求，给出了一种基于分析器自动生成工具ANTLR构造C/C++安全检查工具前端的方法，并将此方法应用于实际开发过
论文部分内容阅读
本文在分析C/C++程序安全检查工具框架的基础上，根据安全检查的特殊需求，给出了一种基于分析器自动生成工具ANTLR构造C/C++安全检查工具前端的方法，并将此方法应用于实际开发过程中。使用此方法构造的前端通过分析软件源代码为后端安全检查提供符号信息、抽象语法树和控制流图。
本文使用ANTLR生成词法分析器、语法分析器、抽象语法树及其遍历框架，重点讨论了符号表的设计与实现、抽象语法树的设计与实现和控制流图的生成。实践表明，该前端能够满足工具安全检查的需要。
其他文献
以现代通信理论为基础,以数字信号处理为核心,以现代微电子技术为支撑的软件无线电技术自从90年代初被提出以来,取得了引人注目的进展,引起了包括军事通信、个人移动通信、微
随着移动通信技术的发展，智能手机被广泛应用在人们日常生活中，大量的信息被存储在这些设备上，例如手机的联系人，日程安排，短信等，这些信息由于手机本身的原因存在着易失性和不安全
P2P网络安全模型的研究是当前热点。由于传统的集中式信任机制不适应P2P网络的要求,需要建立一个分布式的信任机制来加强系统的可靠性。而信任模型作为信任机制中重要的组件,
在当今数字化信息时代,很多企业开始推行网络化的信息管理。其中采购管理也是企业信息化管理的一种。传统的企业采购管理通过纸质媒介平台进行流转,缺乏信息化的管理手段,已
随着电力系统不断的向开放式的方向发展,电网调度系统越来越复杂,对电网调度系统之间的协调性的要求也越来越高,为了适应这种要求,多Agent技术被应用到电网调度系统中。本文
微机电系统(MEMS,Micro-Electro-Mechanism System)、片上系统(SOC,System on Chip)和无线通信技术的进步孕育了无线传感器网络(WSN,Wireless Sensor Network)。它能够实时监
随着计算机网络和数据库技术的飞速发展以及人们获取数据手段的多样化,人们所拥有的数据资源日益丰富,数据量急剧增加。数据的价值在于它的质量,基于劣质数据的决策是不可信
嵌入式系统设计面临着系统复杂性的不断增加以及设计周期的逐渐缩短等问题的挑战,这类挑战来自于设计初期模糊的设计参数及非功能性需求(低成本、低功耗等)的不断增加等。传
随着Internet规模快速增长，Internet网络结构日益复杂，因此，了解其拓扑结构和拓扑性质对于Internet的应用、扩展、性能优化、增强网络安全性等方面具有重要意义。研究人员已
随着多媒体和计算机网络技术的飞速发展,数字图像的数量正以惊人的速度增长,如何快速、准确地检索到所需要的图像成为急需解决的问题,图像检索技术的研究已成为当今多媒体技