Linux内核系统调用接口模糊测试技术研究

来源 :战略支援部队信息工程大学 | 被引量 : 2次 | 上传用户:a175758624
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着互联网、大数据、云计算、物联网等技术的火热发展,Linux操作系统的应用越来越广泛。操作系统内核是操作系统的核心,提供了操作系统的核心功能和安全根基。因此,提前发现Linux内核的漏洞并进行修补至关重要。目前,针对Linux内核漏洞挖掘的一个重要方法是针对其系统调用接口进行模糊测试。本文通过对操作系统内核系统调用接口模糊测试技术进行研究,发现现有方案在产生系统调用测试用例方面存在质量和效率的不足,其中一个重要原因是没有分析、应用好系统调用之间的多种依赖关系。为了缓解目前存在的这些不足,本文提出了基于系统调用间依赖的Linux内核模糊测试技术。首先,通过静态分析技术,提取出系统调用间更完整的内核全局变量依赖信息;然后,通过基于系统调用间依赖的模糊测试技术,提高对系统调用间依赖的利用效率,从而提升模糊测试的效果。针对原型系统的实验结果表明,本文提出的关键技术和创新点具有一定的应用价值,能够获得更完整的Linux内核系统调用间基于内核全局变量的依赖信息,能够提升Linux内核系统调用接口模糊测试的代码分支覆盖数量和Bug发现数量。本文主要的工作和创新点如下:(1)分析了现有操作系统内核系统调用接口模糊测试技术在多种系统调用间依赖分析和应用方面存在的问题,主要为两个方面:一是现有基于内核全局变量的系统调用间依赖分析技术存在较多漏报的问题,主要原因是未分析内核中大量存在的间接函数调用导致的依赖。二是模糊测试过程中对多种系统调用间依赖信息的分析和应用存在问题,主要由于动态依赖分析算法未考虑系统调用间依赖的特性,表示和融合多种依赖信息时未充分应用不同依赖信息的特征,基于依赖信息指导测试用例生成和变异的效率不够等原因。(2)提出了新型的基于内核全局变量的系统调用间依赖分析技术,缓解了现有方案分析结果存在较多漏报的问题。实现了静态分析原型系统Depend Analyzer,其中通过加入基于函数类型匹配的间接函数调用分析方法,获取了Linux内核无漏报的函数调用信息,进而得到了更完整的内核全局变量依赖信息。相比于有关方案Moon Shine,Depend Analyzer分析的依赖结果更为完整:对于存在366个系统调用的Linux内核,Depend Analyzer比Moon Shine多发现66组(多28.07%)存在依赖的系统调用。(3)提出了新型的基于系统调用间依赖的模糊测试技术,缓解了模糊测试过程中对系统调用间依赖信息应用效率不够的问题。基于syzkaller优化实现了模糊测试原型系统Dependkaller,其中优化实现了基于系统调用间依赖特征的动态依赖分析技术和多源依赖表示和融合算法,并基于系统调用间依赖信息更高效地指导测试用例的生成和变异,提高了针对Linux内核系统调用接口模糊测试的代码分支覆盖数量和Bug发现数量。相比于现有较完善的Linux内核系统调用接口模糊测试方案syzkaller,加入和不加入Depend Analyzer分析结果的Dependkaller进行模糊测试的代码分支覆盖数量和Bug发现数量都更多:当测试的代码分支覆盖数量平稳后,不加入内核全局变量依赖信息的Dependkaller相比原始的syzkaller,代码分支覆盖数量提升了9.12%,多发现9个(28.16%)Linux内核的Bug;加入内核全局变量依赖信息的Dependkaller相比原始的syzkaller,代码分支覆盖数量提升了12.06%,并多发现了16个(50.00%)Linux内核的Bug。
其他文献
目的:促甲状腺激素(TSH)是评估甲状腺功能的最敏感及最重要的指标。本研究回顾性分析2016年-2017年大连地区计划妊娠妇女孕前TSH异常发生情况,分析TSH异常相关危险因素;对比亚临床甲状腺功能异常妇女妊娠过程及母儿结局状况,分析亚临床甲状腺功能异常对女性妊娠及母儿结局的影响,重视孕前女性甲状腺功能筛查和亚临床甲状腺功能异常女性的管理,以减少不良妊娠结局发生,达到预防出生缺陷,提高出生人口素质
近年来,随着电子电力技术的不断发展,手机、平板电脑等便携式电子产品已逐渐渗透进人们的日常生活,并成为生活办公中不可或缺的一部分。电源管理芯片作为电子产品的核心器件,直接决定着电子产品的续航时间和使用寿命。因此,电源管理芯片成为了现代科学的一个重要研究课题。开关电源拥有效率高、体积小的优良特性,是目前应用最广泛的电源类型之一,而DC/DC转换器作为其中的重要一员,具有对直流电压进行升压、降压和极性转
纳米金属应用于食品包装材料中,能改善包装的机械性能、阻隔性和抗菌效果,延长食品货架期。辐照作为一种非热杀菌技术,与传统的热杀菌技术相比,辐照能在不显著影响食品属性的前提下,为食物提供良好的灭菌效果。纳米金属抗菌包装和辐照在抗菌方面有着各自的特点,将两者进行结合能达到更好的食品保鲜效果。但辐照条件下,纳米金属复合材料的安全性需要迁移实验来进行研究,本研究选择了三种常用的纳米金属材料,通过自制纳米金属
严寒地区热负荷大、冷热负荷不平衡率高的特点严重限制了该区域浅层地热能供暖的应用,且随着钻探技术的进步与钻井费用的降低,采用中深层土壤源热泵系统利用地热能供暖越来越受到关注。但国内关于中深层土壤源热泵系统的研究主要集中在数值模拟,没有实验数据的支撑,缺乏说服力。且因为我国严寒地区独特的气候特点,中深层土壤源热泵的研究不能照搬国外经验。为此,本文以哈尔滨某中深层地热能供暖项目为基础,采用实验研究方法,
当今教育发展阶段,幼儿园教育模式与家庭教学互相协助成为现阶段学前教育发展的一种崭新理念,家长对幼儿教育的参与程度正得到社会的重视。然而,在实施过程中,家长参与幼儿园教育活动还存在许多不可忽视的问题,其发挥的作用未能理想地实现。本研究首先分析了当前家长参与幼儿园的现状,剖析存现的潜在问题及关联性,并深入分析了问题的成因及提升建议,以实现提升幼儿教育质量的目标。本研究采用《家长参与幼儿园教育现状调查问
软件测试是一种通过触发软件中存在的缺陷来提高软件质量的技术,其核心关键是寻找一种合适的方法来获得具有优良的纠错能力的高质量测试用例集。变异测试是基于缺陷植入的一
近年来,为充分利用教育资源发展职业教育,推动职业教育的持续发展,许多技工学校都通过共享资源来联合办学。联合办学是我校的一条基本办学方针政策,近几年,时间证明这是一条
结合国内外的研究情况,介绍了溶胶凝胶法制备BST铁电薄膜过程中鳌合剂、溶胶浓度、回流工艺、热处理等因素对BST薄膜性能的影响以及掺杂、缓冲层的引入对薄膜性能的改善,同时
抑郁症又称抑郁障碍,以显著而持久的心境低落为主要临床特征,是心境障碍的主要类型。在我国有超过9500万的抑郁症患者,抑郁症终身患病率为6.9%。抑郁症给人们的生活与工作带
随着互联网技术的飞速发展,各种新媒体平台的不断涌现,近年来,人力资源和社会保障系统负面网络舆情日渐增多,充分暴露了当前人社工作中存在的主要问题,也给人社行政部门的舆情治理工作带来了新的挑战。舆情治理是治国理政的重要组成部分,是指公共部门、社会机构、民意代表等就普遍关注的公共利益热点通过规范的程序探讨协商、共同管理的过程。舆情分析是人力资源和社会保障行政决策的重要参考,也是舆情问题得到有效解决的关键