Finding bugs related to the data races in Linux kernel
- Mentors
- Pavel Andrianov, Alexey Khoroshilov
- Organization
- The Linux Foundation
This project's goal is making the Linux kernel more error-proof through the detection of data races with the help of static verification tools. However, even the best verification tools can give false alarms and because of that this project would require extensive analysis of the verification results and communication with maintainers. Its desired result is finding the existing data races in Linux kernel and making steps towards their correction by maintainers.