metasepi / postmortem

Postmortem for open-source operating systems
MIT License
1 stars 0 forks source link

Avoid FreeBSD-SA-20:06.if_ixl_ioctl #16

Closed master-q closed 4 years ago

master-q commented 4 years ago

It's also caused by unprivileged access. Such privilege may be easily avoided by ATS and VeriFast.

master-q commented 4 years ago