Skip to content

No labels!

There aren’t any labels for this repository quite yet.

bug
bug
Something isn't working
Clang
Clang
Coccinelle
Coccinelle
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
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