Watch 6 Star 7 Fork 2

openEuler / marketingMulanPSL-2.0

No.57 - 内核数据竞争检测工具

暑期2020
待办的
wubodong  Opened this issue

标题 No.57 - 内核数据竞争检测工具

描述
内核数据竞争检测,业界当前可以通过静态测试工具(比如 SVF 和动态测试方法(比如 kcsan 来检测内核竞争,但是静态测试误报较太多,kcsan动态检测出来的很多问题也是无害的,因此本课题目标是把静态测试工具或动态测试工具(SVF和KCSAN,或其他类似的工具)输出的检测信息作为输入,通过精准构造的方式来构造真实竞争,通过内核自运行或者kasan等机制来检测是否是真正的竞争bug。

难度

导师 walkingwalk

联系方式
wubodong@huawei.com

产出标准

  • 完成测试工具开发并上传sig-qa。
  • 操作系统版本:openEuler 20.03 LTS
  • 架构:aarch64/x86_64

技术要求

  • 了解数据竞争原理、业界检测方法和工具使用
  • 了解linux内核模块驱动开发
  • 了解kasan等内核bug检测使用
Attachments
5329419 openeuler ci bot 1578984659 23249 genedna 1586065964 total 4 participants

Comments (1)

5329419 openeuler ci bot 1578984659
openeuler-ci-bot 2020-05-25 19:00 owner

Hey @wubodong , Welcome to openEuler Community.
All of the projects in openEuler Community are maintained by @openeuler-ci-bot .
That means the developers can comment below every pull request or issue to trigger Bot Commands.
Please follow instructions at https://gitee.com/openeuler/community/blob/master/en/sig-infrastructure/command.md to find the details.

Sign in to comment

Assignees
Labels
Not set
Projects
Milestones
Branches
Planed to start
Planed to end
Top level
Priority
1
https://gitee.com/openeuler/marketing.git
git@gitee.com:openeuler/marketing.git
openeuler
marketing
marketing

Help Search