【摘 要】
：
研究表明，驱动程序的漏洞是造成Linux系统安全问题的主要原因之一，可引发提权、拒绝服务等高危情况。针对无具体设备的情况下，无法对驱动程序进行运行时漏洞检测的问题，提出了对
【机 构】
：
北京工业大学计算机学院,清华大学计算机科学与技术系
【基金项目】
：
国家自然科学基金(61202074)
论文部分内容阅读
研究表明，驱动程序的漏洞是造成Linux系统安全问题的主要原因之一，可引发提权、拒绝服务等高危情况。针对无具体设备的情况下，无法对驱动程序进行运行时漏洞检测的问题，提出了对驱动程序进行符号化执行的思路，提出了一种基于符号执行技术实现的驱动程序模拟环境，可以用于分析和检测Linux设备驱动程序中存在的安全漏洞。该环境通过模拟内核提供给驱动程序的服务接口，使驱动程序可以在应用层进行符号执行进而可对其进行漏洞检测。同时，该环境无需真实硬件的支持，并且具备覆盖率高、执行速度快、易于扩展等特点。通过将该环境作用于6
其他文献
目的：探讨研究长骨转移瘤的影像学特点,提高诊断准确率方法：选择具有明确原发病史或病理证实的45例长骨转移瘤患者为研究对象,对其骨转移瘤病灶的X线、CT和MRI影像表现进行回顾
结合施工现场的特定条件，采取一次性分层浇筑的施工步骤，完善混凝土浇筑方案和技术措施，降低大体积混凝土内部的温度影响，并有效地监控大体积混凝土温度变化。
本文以“中美高中物理教材实验部分设置的比较研究”为题,在研究了前人已有的结论与成果之上,认为对于该部分内容的比较研究的视角缺乏人文关怀,因此对本课题展开研究。本文
中国的刑法发展史可以说是一部死刑制度的发展史,我国死刑制度在当前存在诸多争议,特别是死刑裁量制度还存在一些缺陷。本文通过对药家鑫案与刘A故意杀人案焦点问题进行分析,
科技的发展带动了农业的发展，农机技术也得到推广。随着农机的发展和普及，不仅为农业生产提供了便利，增加了农业生产的经济效益，同时也对新农村建设提供了保障。因此农业生产想要
当下越来越多的油画家执着地投入到油画民族化的大队伍之中，在中国当代艺术领域里，出现了艺术百家争鸣的热闹局面。形成个人独特的艺术风格，成为了艺术家们投身艺术创作的源动力
早在19世纪80年代,我国的刑事诉讼法就开始进行被害人的权利保护问题的研究,同时随着我国经济的快速发展以及改革开放的不断推进,人们的司法保护意识也在不断地加强,对于被害
研究背景肺血管重塑是呼吸系统多种常见疾病的病理-生理基础,如慢性阻塞性肺疾病(COPD)、肺动脉高压等,这些疾病都可能出现肺血管重塑。近几年来,低氧刺激对肺血管管的作用引
<正>材料:磨砂塑料板、艺术纸设计概念:作品灵感来源于巴洛克艺术风格。"巴洛克"意为形态不够圆或不完美的珍珠;在意大利语中有"奇特,古怪,变形"等解释;在法语中,则有"俗丽凌
目的探讨大剂量氨溴索对急性呼吸窘迫综合征(ARDS)患者氧合功能、肺顺应性的影响及临床疗效。方法选择2018年3月至2019年3月医院收治的86例ARDS患者作为研究对象。采用随机数