LINUX驱动

作品数：103被引量：220H指数：7
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：肖侬于盛林陈鼐游向东程杰更多>>
相关机构：西安电子科技大学东南大学北京邮电大学国防科学技术大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划中国科学院战略性先导科技专项更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 基金=国家重点基础研究发展计划x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于语义补丁的Linux驱动程序后向移植技术被引量：1
《计算机科学》2017年第11期64-68,79,共6页朱丽华 文艳军 董威 
国家自然科学基金(91318301);国家重点基础研究发展计划(973计划)(2014CB340703)资助
使用语义补丁技术对Linux的网卡驱动程序的后向移植方法进行研究。通过分析多个不同内核版本的驱动程序代码,在兼容库代码的支持下,提出了一种使用语义补丁进行驱动程序后向移植的方法。针对符号和函数分别开发了语义补丁,解决了后向移...
关键词：语义补丁 驱动程序 兼容库 后向移植 
基于性质制导符号执行的Linux驱动程序缺陷检测研究被引量：3
《计算机工程与科学》2017年第4期734-739,共6页陈英杰 陈振邦 董威 
国家973计划(2014CB340703);国家自然科学基金(61472440;61632015;61272140)
驱动程序是操作系统的重要组成部分。驱动程序运行于内核态,其可靠性对于操作系统的安全可靠非常关键。针对Linux驱动程序,研究基于符号执行的驱动程序缺陷自动检测方法。提出了基于性质制导符号执行的Linux驱动程序缺陷检测框架,以及...
关键词：驱动程序 符号执行 缺陷检测 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部