【摘 要】
：
本文所做工作是科研课题“C/C++软件安全检查工具”的一部分。根据该课题的实际要求,本文在充分研究C/C++语法结构的基础上,主要做了以下工作：首先,基于分析器自动生成工具ANT
论文部分内容阅读
本文所做工作是科研课题“C/C++软件安全检查工具”的一部分。根据该课题的实际要求,本文在充分研究C/C++语法结构的基础上,主要做了以下工作：首先,基于分析器自动生成工具ANTLR提供的抽象语法树自动生成机制,设计了C/C++程序抽象语法树的树型结构,并设计与实现了结点类,通过使用该树型结构和结点类,可以为安全检查工具中其他模块提供所需要的抽象语法树信息；其次,为了使构建的抽象语法树携带的信息准确、完整,本文还提出了类体内定义的成员函数的函数体抽象语法树的构建方法以及函数模板实例对应的抽象语法树的构建方法。最后,本文结合ANTLR提供的抽象语法树遍历框架自动生成机制,给出了利用抽象语法树进行安全检查工具前端信息收集以及后端switch语句安全漏洞检查的具体方法。实践证明抽象语法树的设计能够满足安全漏洞检查的需要。
其他文献
在文本中,命名实体是信息的主要载体,用来表达文本的主要内容。而中文命名实体识别是信息抽取、摘要提取、句法分析、开放域问答和机器翻译等应用领域的重要基础,越来越受到
随着国民经济的快速发展,各行业的电气化程度也越来越高。但许多新兴的电气设备在其运行中向电力系统注入了各种电磁干扰,影响和危害了电力系统的安全运行和设备的正常工作。
小麦作为我国三大粮食作物之一,在人民生活和国民经济中占有极为重要的地位。麦蚜是我国各小麦产区的常发性害虫,不仅蚕食小麦营养、影响光合作用,而且还传播麦类病毒,导致小
日前，国务院颁布实施了《全国医疗卫生服务体系规划纲要（2015-2020）》（后文简称《规划纲要》），新规划第一次明确提出“全面建成互联互通的国家、省、市、县四级人口健康信息平台”，
近年来,随着可信计算(Trusted Computing)研究的不断深入,国内外对它的研究已经开始从硬件层面向软件等方向转变。可是面对越来越复杂的各种应用软件,软件危机、错误、缺陷、
目前,我国变电站操作人员的培训主要通过变电站仿真系统进行。设备巡视是仿真系统中必不可少的一项功能,本文设计并实现了一种新型的仿真变电站设备巡视系统。该系统在完成变
环境是动态变化的,MAS中Agent行为也是未知的,要建立领域完备的先验模型几乎不可能,许多领域知识也是在Agent的交互过程中逐步获得的,因此复杂环境下的Agent应当能够根据以前
在组播安全理论的研究中，关于组播数据处理和组密钥管理是研究的热点。人们提出了各种不同的数据处理方法和组密钥分发办法，希望可以设计出能够满足各种不同安全需求的组播安全
WAP事务协议(WTP)作为WAP协议体系结构中的一个重要部分,向会话层提供基于请求响应的分布式事务服务。由于WAP论坛将WAP协议规范以自然语言的形式发布,这样的好处是可读性好,
集成学习(Ensemble Learning)是一种较新的机器学习范式,它使用多个学习器来解决同一问题,它能够显著地提高学习系统的泛化能力。决策森林作为一种优秀的集成学习方法,在实际