【摘 要】
:
近年来,信息技术的高速发展使得网络安全问题越来越突出,安全漏洞、安全攻击事件层出不穷。为保证软件和系统的安全可靠性,各大公司都投入了大量的人力物力对软件安全进行深
论文部分内容阅读
近年来,信息技术的高速发展使得网络安全问题越来越突出,安全漏洞、安全攻击事件层出不穷。为保证软件和系统的安全可靠性,各大公司都投入了大量的人力物力对软件安全进行深入研究。软件测试是确保软件安全和可靠性的重要方法,然而传统的静态测试方法已经不能满足如今软件测试的要求,新的自动化fuzzing测试方法虽然表现突出,却存在着无法进行完整测试的缺陷。动态符号执行技术在近年来得到迅速发展,被认为是软件测试领域最有前景的测试技术。众多研究者已经在这一领域进行理论研究和工程实践,然而到目前为止,动态符号执行技术依然面临着诸如路径爆炸、复杂路径约束、环境交互、浮点数运算处理、路径分歧等难题,阻碍了动态符号执行技术在实际软件安全测试中的应用。本文主要针对动态符号执行过程中的路径分歧问题进行深入研究。首先对动态符号执行的技术框架、目前研究现状、重点技术难点和解决方案以及典型动态符号执行工具进行全方位系统研究。然后,利用经典动态符号执行工具CREST对21款不同的Linux开源软件程序进行动态符号执行测试。根据实验结果研究路径分歧在常见程序测试过程中出现的频率、生成测试用例中导致路径分歧问题产生的频率、测试程序大小和路径分歧之间的关系;并分析总结导致路径分歧产生的10种模式。最后,通过对路径分歧问题产生原因的研究,提出了一种路径分歧自动化检测和基于“快照-计算-对比”的分歧自动化诊断方法,利用动态符号执行过程中动态保存的“符号-内存”快照信息,通过内存值符号计算,精确定位符号执行过程中符号传播不准确的程序语句或指令。并在CREST上实现了一个分歧检测诊断原型DivAnalysis,并通过实验验证了该方法的有效性。
其他文献
蛋白质三维结构对于生物学和医学来说意义重大,利用生化手段测定蛋白质结构代价高,耗时长,因此利用计算手段预测蛋白质三维结构逐渐成为计算生物学的重要课题。在巨大的构象
我国医疗信息化经过几十年的发展,产生的“信息孤岛”问题越来越严重。如何建立起高效的医疗信息整合平台,以实现在一定行政区域内各医疗机构医疗信息收集、交换与共享,已经
近年来随着超线程、多核体系结构等多线程技术的发展和广泛应用,计算机底层系统已经提供了越来越高效的并行运行平台。但是,当前并行编程仍然是件困难的事情。如何提高程序的
随着开放教育平台的出现,人们获取教育资源的方式和途径日益改变,在线教育变成现代教育的重要形式。越来越多的资源出现在网络上,带来了信息过载的问题,而且给用户检索资源带
对于智能体而言,搜集世界信息的能力和搜集到新信息后修正原有信念的能力是非常重要的。信念改变包括信念更新和信念修正,是指改变智能体原有信念来接受更新,更准确,更可靠,
无线射频识别技术(RFID)是一种利用空间无线电射频信号进行通信的非接触式自动识别技术。在复杂环境中,密集部署RFID阅读器产生的阅读器冲突,将造成数据的丢失和错误、读取效
本课题研究根据全国铁路春运旅客列车车厢分组思想和全国铁路春运线路区域划分思想,运用分组数组交换理论和层次区域划分思想来优化目前我国铁路长期超负荷运行,线路负荷率过大
人脸识别是模式识别研究领域中一个热门研究方向。近年来,随着高速硬件的发展以及商业和执法等方面需求的增长,人脸识别的研究和应用取得了长足的进步。但是,在非约束环境,即
基于网络的三维地形交互式实时绘制技术在虚拟战场、三维地理信息系统,三维网络游戏中有非常重要的应用,一直是国内外研究的热点。海量地形数据与有限网络带宽之间的矛盾使得
无线传感器网络是由许多微型的传感器节点构成,然后以无线通信的方式形成的一个多跳的自组织网络系统,其目的是协作地感知、采集和处理网络覆盖区域中感知对象的信息。随着传