【摘 要】
：
对Linux内核系统调用接口进行模糊测试是发现Linux内核漏洞的重要方法。现有测试方案生成系统调用测试例的质量和效率存在瓶颈,其中一个重要原因是忽视了系统调用之间的依赖
【机 构】
：
数学工程与先进计算国家重点实验室; 清华大学网络科学与网络空间研究院;
【基金项目】
：
国家自然科学基金联合基金项目(U1736209)资助
论文部分内容阅读
对Linux内核系统调用接口进行模糊测试是发现Linux内核漏洞的重要方法。现有测试方案生成系统调用测试例的质量和效率存在瓶颈,其中一个重要原因是忽视了系统调用之间的依赖关系。本文提出并实现了一个原型系统Dependkaller,通过动静结合的方式分析系统调用之间基于共享内核数据的依赖信息,并有效利用多种依赖信息指导Linux内核模糊测试,持续高效生成和变异系统调用测试例。实验结果表明:相比于现有方案MoonShine,我们的方案Dependkaller静态依赖分析结果更为全面;相比于现有方案syzkaller,我们的方案Dependkaller动态测试的代码覆盖率提升了16.89%,多发现了51.22%(即21个)的漏洞。
其他文献
推进马克思主义大众化,应着眼于马克思主义理论的创新和发展,应把实现马克思主义的通俗化和民族化,使理论掌握于群众的过程,与创新发展马克思主义理论联系在一起;把实现马克
教学有法,并无定法,贵在得法。新课程背景下的美术教学方式丰富多彩,有继承,还有创新。教学方式的选择,教学策略的运用,需要根据教学内容的特点,在考虑学生实际和深入研究教
[目的]观察不同浓度右归饮含药血清对转化生长因子β1(tansforming growth factor,TGF-β1)诱导大鼠骨髓间充质干细胞(bone marrow mesenchymal stem cells,BMSCs)向软骨细胞
通过对赣南硬头黄竹生长情况和土壤理化性质进行调查和测定,分析硬头黄竹生长状况、立地条件及其相关性。结果表明:随着土层深度的增加,土壤容重呈现增大的趋势,水分状况和孔
在世界经济水平的发展之下,对于石油的消耗量也越来越大,石油俨然已经成为工业经济的命脉,就现阶段来看,三次采油技术是常规稠油油藏开采的主要手段,该种技术投资大、风险高
目的:系统比较喉癌复发后手术治疗局部复发组和区域复发组的疗效,通过对各数据库检索文献进行meta分析,分析局部复发与区域复发的生存率,进一步了解喉癌复发的预后,为复发性
冷冻贮藏是肉类食品重要的贮藏方法,但在冻藏会引起肉类食品中的主要蛋白—肌原纤维蛋结构发生变化,引起蛋白质发生变性,从而影响其功能特性,降低肉类制品的品质。论述了肌原
通过反应直流磁控溅射法在Si片表面沉积氮化钽（Ta N）电阻薄膜,并在空气中进行退火,系统研究了退火温度对薄膜的物相组成、微观形貌、电阻性能的影响。结合X射线衍射（XRD）物相分析
近年来，黑龙江省以对外贸易和投资为依托加强对俄罗斯跨境经济合作，积极深化对俄合作境内外园区建设，打造跨境经济合作的诸多举措，使其日益成为中国向北和东北开放进程中推进跨境
箱形梁(柱)具有较好的刚度和挠度,稳定性较好,受力均匀,承载能力优越于其他结构。故在承载要求高、结构特殊的重要位置,多采用箱形梁(柱)。本文围绕箱形梁(柱)制作工艺,经过