Report: ATS2 and VeriFast avoid some of FreeBSD vulnerabilities

[Kiwamu Okabe]

Dear all,

We published following blog post:

"ATS2 and VeriFast avoid some of FreeBSD vulnerabilities"
https://metasepi.org/en/posts/2020-10-14-avoid-freebsd-security-issue.html

After investigating the latest 50 of the FreeBSD vulnerabilities,
5 of them could be avoided by the VeriFast verifier.
It means we can mechanically avoid 10% of the latest vulnerabilities without
human resources such as code review.

We believe VeriFast verifier has a lot of potential to avoid such
vulnerabilities.

Thank you a lot for supporting this project.
Best regards,
--
Kiwamu Okabe at METASEPI DESIGN