Finding bugs related to the memory errors in Linux kernel

Memory errors at the kernel of operation system are a kind of bugs that lead to grave consequences but are hard to detect. Debug and disclose of kernel memory corruptions often requires specially compiled kernel.

I want to perform static verification of the Linux kernel latest release on memory errors by LDV project environment. I'll analyse results of static verification, provide patches to kernel for true errors and offer improvement to LDV staff to reduce false alarms.