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, 8 of them could be avoided by the ATS2 language. It means we can mechanically avoid 16% of the latest vulnerabilities without human resources such as code review. We believe ATS language has a lot of potential to avoid such vulnerabilities. Thank you a lot for supporting this project. Best regards, -- Kiwamu Okabe at METASEPI DESIGN -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CAEvX6dk2_6idrqUTWgZaucGLaeexE7KicqNT1rZwbAK54u6zqw%40mail.gmail.com.