Metasepi

Posts tagged security

ATS2 and VeriFast avoid some of FreeBSD vulnerabilities ‒ October 14, 2020
Mechanically avoid 16% of latest FreeBSD vulnerabilities without code review.

This page is licensed under a Creative Commons Attribution-ShareAlike 3.0 Unported License.
Metasepi project is supported by × Past Supporters