• 葡萄牙首都上演城市节狂欢 2020-01-16
  • 沿河景观带成了菜地 乐安城管局已派执法队清除 2020-01-16
  • 《爱疯音乐家》金志文:我为什么就不能登上《歌手》舞台?爱疯音乐家金志文 2020-01-14
  • 大阪发生6.1级地震 至少造成3人死亡 2020-01-14
  • 宁波专家送医到广西 为河池9名先天肢体畸形患儿施行手术 2020-01-12
  • 赢了荣耀!输了呢?俄队是赢多还是输多呢? 2020-01-12
  • “藏族院士”多吉:大自然是慷慨的,也是有原则的 2020-01-05
  • 林郑月娥访欧 欧方重申支持"一国两制" 2020-01-05
  • 周杰伦发胖,奶茶的锅?杰伦:不爱我就拉倒 2020-01-03
  • 十九大代表卢丽安利用周末与在沪台胞分享她参会心得  2020-01-03
  • 我和党报党网有个约会在线征集活动 2020-01-02
  • 破财免灾!C罗愿向西班牙税务部门缴纳1880万欧元 2019-12-25
  • 广州:继续加强水污染防治工作 2019-12-25
  • 保定市:探索“三社联动”社区治理模式 2019-12-21
  • 办公游戏通杀 微软最强笔记本15寸Surface Book 2即将上市 2019-12-20
  • 针对Linux中double fetch漏洞的研究

    主讲:王鹏飞 国防科学技术大学计算机学院博士

    香港六合图库管家婆 www.qfsff.tw 近年来,并行程序随着多核CPU硬件的普及而被越来越广泛的使用。而并行程序中普遍存在数据竞争的情况,并能导致多种并发错误。当竞争情况发生在内核与用户线程之间时,就会触发double fetch漏洞。我们提出了一种静态方法来系统检测Linux内核中存在的潜在double fetch情况。所提方法基于特定模式分析,总共从Linux内核中识别了90个double fetch情况,其中57个发生在驱动程序中。所提方法有效填补了之前广泛使用的动态检测方法因为依赖特定硬件所以不适用于驱动程序检测的不足。在进一步人工分析的基础上,我们归纳了3种内核中容易引发double fetch的典型场景,并进行案例分析。我们所提方法基于Coccinelle引擎,能有效检测引起内核漏洞的double fetch问题。我们将此方法应用于Linux,FreeBSD 和Android内核并发现了6个之前未知的double fetch缺陷,其中4个在驱动程序中,3个是可利用的double fetch漏洞。所有已发现的缺陷和漏洞都已经被内核开发团队确认并打上补丁。我们的方法已经被Coccinelle团队采用并集成到Linux内核补丁审计中?;谝陨涎芯?,我们还提出了实用性方法来预防double fetch 缺陷和漏洞。我们还提出了一种自动为检测到的double fetch缺陷打补丁的方法。

    Part1 What is a double fetch?

    来源:中国教育网
    CERNET第二十五届学术年会征文通知

    相关课程

  • 葡萄牙首都上演城市节狂欢 2020-01-16
  • 沿河景观带成了菜地 乐安城管局已派执法队清除 2020-01-16
  • 《爱疯音乐家》金志文:我为什么就不能登上《歌手》舞台?爱疯音乐家金志文 2020-01-14
  • 大阪发生6.1级地震 至少造成3人死亡 2020-01-14
  • 宁波专家送医到广西 为河池9名先天肢体畸形患儿施行手术 2020-01-12
  • 赢了荣耀!输了呢?俄队是赢多还是输多呢? 2020-01-12
  • “藏族院士”多吉:大自然是慷慨的,也是有原则的 2020-01-05
  • 林郑月娥访欧 欧方重申支持"一国两制" 2020-01-05
  • 周杰伦发胖,奶茶的锅?杰伦:不爱我就拉倒 2020-01-03
  • 十九大代表卢丽安利用周末与在沪台胞分享她参会心得  2020-01-03
  • 我和党报党网有个约会在线征集活动 2020-01-02
  • 破财免灾!C罗愿向西班牙税务部门缴纳1880万欧元 2019-12-25
  • 广州:继续加强水污染防治工作 2019-12-25
  • 保定市:探索“三社联动”社区治理模式 2019-12-21
  • 办公游戏通杀 微软最强笔记本15寸Surface Book 2即将上市 2019-12-20
  • 二八杠怎样做代理 通许县现在做什么赚钱 青海快三22日走势图 股票融资买入 新11选5中奖规则 125期六肖中特资料 安徽时时彩平台 新浪nba比分数据查询 查干湖冬捕鱼王 福彩山西快乐十分开奖彩票控