源码审核技术中的词法分析研究

来源 :西安电子科技大学 | 被引量 : 0次 | 上传用户:wanghn019
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
从互联网的兴起开始至今,利用漏洞攻击的网络安全事件不断,并且呈日趋严重的态势发展,利用漏洞的攻击已经成为危害互联网的主要因素之一。安全漏洞挖掘最直接的方法就是在“编码”阶段与开发者进行沟通,及时发现修正安全漏洞。本文深入研究源码审核技术中的词法分析技术,在对主流开源词法分析工具进行对比的基础上,开发出新的词法分析工具SSCAN。本文的主要工作有以下几个方面:1.详细分析了源码审核技术中的词法分析的原理与流程,并对主流开源词法分析软件Flawfinder、ITS4和Rats进行分析比较。2.在Flawfinder、ITS4和Rats的基础上完善了危险函数数据库。3.优化分析方式,引入初步分析与分类特征分析相结合的模式,提高了分析的效率。4.将贝叶斯决策理论成功应用于词法分析,实现了根据已知的函数危险使用情况来判断出未知的函数危险使用。5.对SSCAN的性能进行精确测试,结果表明SSCAN的完整性和准确性都明显优于Flawfinder、ITS4和Rats。本文的创新点在于通过对现有源码审核技术和开源词法分析软件的仔细分析,完善了危险函数数据库,提出了初步分析和分类特征分析结合的分析方式,在此基础上,设计并完成一款快速,而且准确性和完整性都较高的词法分析工具。
其他文献
量子信息学是一门由信息学与量子力学结合而成的交叉学科。经典密码学中的公钥密码体制主要以数学难题为基础来保证其安全性,但是随着对量子计算机的研究越来越深入,人们发现
无线Mesh网作为一种新型的接入网技术,凭借其组网灵活,适应性强的优点,在近两年得到飞速发展。对无线网络的研究有多种方法,其中一种按照实际应用场景搭建的真实测试平台,由
由于线性反馈移位寄存器具有硬件实现简单、运行速度快、生成的序列具有良好的密码学性质等优点,很多流密码算法都基于线性反馈移位寄存器和非线性布尔函数,这种密码结构已经沿
极化码是近年来纠错编码领域的热点研究问题。极化码在理论上被证明:当码长趋近于无穷大时达到对称信道容量。相对于传统的LDPC码和Turbo码,极化码的特点是其结构化特征较强,