代码拉取完成,页面将自动刷新
标题 No.57 - 内核数据竞争检测工具
描述
内核数据竞争检测,业界当前可以通过静态测试工具(比如 [SVF]https://github.com/lifeasageek/SVF/tree/svf-razzer) 和动态测试方法(比如 [kcsan]https://github.com/google/ktsan/tree/kcsan) 来检测内核竞争,但是静态测试误报较太多,kcsan动态检测出来的很多问题也是无害的,因此本课题目标是把静态测试工具或动态测试工具(SVF和KCSAN,或其他类似的工具)输出的检测信息作为输入,通过精准构造的方式来构造真实竞争,通过内核自运行或者kasan等机制来检测是否是真正的竞争bug。
难度 高
导师 walkingwalk
联系方式
wubodong@huawei.com
产出标准
技术要求
此处可能存在不合适展示的内容,页面不予展示。您可通过相关编辑功能自查并修改。
如您确认内容无涉及 不当用语 / 纯广告导流 / 暴力 / 低俗色情 / 侵权 / 盗版 / 虚假 / 无价值内容或违法国家有关法律法规的内容,可点击提交进行申诉,我们将尽快为您处理。
登录 后才可以发表评论