GSoC 2018
Improve environment model for memory safety verification of the Linux kernel and find bugs related to the memory errors in Linux kernel
Project details
Contributor
Anton Vasilyev
Mentors
Vadim, Alexey Khoroshilov
Technologies
Not listed in the archive