Labels

• bug

  bug

  Something isn't working

• c

  c

• Clang

  Clang

• Coccinelle

  Coccinelle

• deadlock

  deadlock

• duplicate

  duplicate

  This issue or pull request already exists

• enhancement

  enhancement

  New feature or request

• git app

  git app

• good first issue

  good first issue

  Good for newcomers

• help wanted

  help wanted

  Extra attention is needed

• Infer

  Infer

• installations

  installations

• internship

  internship

• invalid

  invalid

  This doesn't seem right

• investigate

  investigate

• journal

  journal

• linux kernel

  linux kernel

• linux-kernel

  linux-kernel

• os

  os

• parsing

  parsing

• Price: 100INR

  Price: 100INR

• Price: 900INR

  Price: 900INR

• Project: Current Session Written on Disk

  Project: Current Session Written on Disk

• Project: Deadlocks in Open Source OS

  Project: Deadlocks in Open Source OS

• Project: FAUmachine

  Project: FAUmachine

• Project: Time Spent in Kernel API Calls

  Project: Time Spent in Kernel API Calls

• Project: Uniform Testing Service for Linux Kernel

  Project: Uniform Testing Service for Linux Kernel

• question

  question

  Further information is requested

• researc paper type: case study

  researc paper type: case study

• Smatch

  Smatch