ATS2 and VeriFast avoid some of FreeBSD vulnerabilities

1 points| masterq | 5 years ago |metasepi.org