GSoC 2021
Finding bugs related to memory errors in Linux Kernel and improving environment model specifications for static verification
Project details
Contributor
Nadezda Lutovinova
Mentors
Vadim Mutilin, Alexey Khoroshilov
Technologies
Not listed in the archive