Improve environment model for memory safety verification of the Linux kernel and find bugs related to the memory errors in Linux kernel
- Mentors
- Vadim, Alexey Khoroshilov
- Organization
- The Linux Foundation
Problems with memory management and array access by unchecked index or pointer introduce significant risk. Especially if it comes to the OS kernel. LDV project aims to improve Linux kernel and I want to correct issues with its environment model for kernel.
As a results of my work I expect to find and fix a number of bug in one of the last kernel releases and improve LDV verification framework.