您的位置： 专家智库 > >

王欢

作品数：3 被引量：4H指数：1
供职机构：北京工业大学计算机学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇会议论文
  • 1篇期刊文章

领域

  • 3篇自动化与计算...

主题

  • 2篇代码
  • 2篇运行环境
  • 2篇LINUX设...
  • 1篇整数溢出
  • 1篇求解器
  • 1篇操作系
  • 1篇操作系统
  • 1篇LINUX

机构

  • 3篇北京工业大学
  • 3篇清华大学

作者

  • 3篇王欢
  • 2篇茅俊杰
  • 1篇肖奇学
  • 1篇王丹
  • 1篇陈渝

传媒

  • 1篇计算机科学
  • 1篇第七届信息安...
  • 1篇第十四届全国...

年份

  • 1篇2017
  • 1篇2015
  • 1篇2014
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
Linux设备驱动重用研究被引量：4
2017年
设备驱动是影响操作系统适用性的重要因素。考虑到完全重新开发设备驱动代价过大,重用已有操作系统中的设备驱动便成为了提高操作系统适用性的首选方法。设备驱动的重用过程本质上是在目标环境中建立设备驱动的运行环境的过程,重用一个设备驱动并不需要实现所有内核服务。代码依赖分析可以分析驱动代码对内核服务的依赖关系,因此可以使用代码依赖分析技术自动构建设备驱动运行环境。通过在嵌入式操作系统ucore OS中重用e1000网卡驱动来证明方法的可行性。
王欢茅俊杰王丹陈渝
关键词：LINUX
基于SMT求解器的整数溢出检测研究
SMT求解器作为程序自动分析的组件,被越来越多的应用在安全漏洞研究领域.本文通过对整数安全问题和SMT求解器的分析,深入研究使用SMT求解器判断整数安全漏洞的方法.本文对目前已有的13种不同求解器特征进行了分析和总结,并...
肖奇学王欢张知皦史元春陈渝
关键词：整数溢出
文献传递
Linux设备驱动重用研究
设备驱动是影响操作系统适用性的重要因素.考虑到完全重新开发设备驱动代价过大,重用已有操作系统中的设备驱动便成为了提高操作系统适用性的首选方法.设备驱动的重用过程本质上是在目标环境中建立设备驱动的运行环境的过程,重用一个设...
王欢茅俊杰王丹陈渝
关键词：操作系统运行环境
文献传递
全选 清除 导出
共1页<1>
聚类工具0