Posts tagged postmortem

• ATS2 can avoid some of FreeBSD Problem Reports  ‒ April 19, 2021
  Mechanically avoid 12% of latest FreeBSD Problem Reports without code review.
• ATS2 and VeriFast avoid some of FreeBSD vulnerabilities  ‒ October 14, 2020
  Mechanically avoid 16% of latest FreeBSD vulnerabilities without code review.