FPSFI:一种基于LLVM架构的驱动错误隔离机制

来源 :2013中国计算机大会 | 被引量 : 0次 | 上传用户:javaname39
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
内核安全维系着应用程序的正常运行,而内核错误却仍被周期性地发现,且多数错误是由模块加载机制将存在问题的设备驱动引入内核所致.基于LILVM编译器基础架构,提出FPSFI驱动错误运行时隔离机制,使驱动错误隔离机制分解为涉敏函数注册、驱动错误定位与检测函数的插装等三个模块,有效地阻止了由内核API完整性缺失所导致的权限非法提升以及内存空间被多次释放等常见驱动错误.相比于之前的方法,FPSFI将错误分析与定位实现在编译器后端,减少了人工添加检测代码的工作量,而检测函数的单独实现与编译,使得隔离机制对内核接口的依赖程度有所降低.基于Linux平台的测试结果表明,FPSFI能够有效阻止两类典型的驱动错误;FPSFI对后端编译器改动所造成的时间开销比为18.7%;对网络模块的压力测试结果显示,FPSFI不会显著影响CPU利用率以及TCP吞吐量,UDP吞吐量下降17%.
其他文献
教学语言在教书育人的过程中具有极其重要的作用,作为教师应结合所教学科的特点,力求使自己在教学过程中优化教学语言,锻铸语言艺术,彰显出教师的能力和水平,显示其语言魅力,
目的 分析贵州医科大学第三附属医院住院患者质子泵抑制剂(PPI)的使用情况,为临床合理用药提供参考.方法 利用医院信息系统,随机抽取贵州医科大学第三附属医院2018年10月-201
业绩的大幅增长在很大程度上是由于原材料成本的大幅下降所致。公司未来业绩增长点在子午胎产能不断增长,以及市场回暖带来销售量的增加。今日投资个股安全诊断星级:★★★
会议
鸡腿蘑学名毛头鬼伞(Coprinus conatus),其肉质细嫩,鲜美可口,营养丰富,是一种具有较高商业潜力的食用菌种类。为了更好地开发利用鸡腿蘑,我们开展了这项研究,取得了满意效
深亚微米技术的迅猛发展使得半导体工业向高性能、低成本电子器件的方向发展.以硅通孔技术(ttuvugh-silioon-硅通孔技术是实现三维系统芯片的一种新兴的方法.而作为测试基础,
会议
会议
会议
内核扩展的安全性对操作系统的稳定运行具有重要意义.内核扩展在为驱动开发提供了便捷的同时,但也带来了重大安全隐惠.本文设计了一个新型内核扩展安全访问(Security Access
会议
会议