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.

Organization

Student

Anton Vasilyev

Mentors

  • Vadim
  • Alexey Khoroshilov
close

2018