fpsfi一种基于llvm架构的驱动错误隔离机制 fpsfi a llvm-based software fault isolation mechanism for linux drivers.pdfVIP

小型微型计算机系统 2013年10月第10期 JournalofChinese Systems V01．34No．102013 Computer FPSFI：一种基于LLVM架构的驱动错误隔离机制 甄 凯1，白家驹2，刘虎球1，郭旭峰1 1(清华大学计算机科学与技术系，北京100084) 2(西安电子科技大学计算机学院，西安710126) E—mail：zhenkaixd@126．com 摘要：内核安全维系着应用程序的正常运行，而内核错误却仍被周期性地发现，且多数错误是由模块加载机制将存在问题的 设备驱动引入内核所致．基于LLVM编译器基础架构，提出FPSH驱动错误运行时隔离机制，使驱动错误隔离机制分解为涉敏 函数注册、驱动错误定位与检测函数的插装等三个模块，有效地阻止了由内核API完整性缺失所导致的权限非法提升以及内 存空问被多次释放等常见驱动错误．相比于之前的方法，FPSFI将错误分析与定位实现在编译器后端，减少了人工添加检测代 码的工作量，而检测函数的单独实现与编译，使得隔离机制对内核接口的依赖程度有所降低．基于Linux平台的测试结果表明，