corpus.blog
42,281 blogs · 5,361,753 posts Claim your blog
Record · corpus.blog/posts/01a087a4-54e5-737c-808b-1a9b860e2f82

ATS2 and VeriFast avoid some of FreeBSD vulnerabilities

metasepi.org · published 14 October 2020

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at metasepi.org Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
20
Words captured
3,961

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://github.com/verifast/verifast
github.com
https://cve.mitre.org/
cve.mitre.org
https://www.freebsd.org/security/advisories.html
freebsd.org
https://github.com/metasepi/postmortem
github.com
https://github.com/metasepi/postmortem/tree/master/Security-Advisory/FreeBSD-kernel/FreeBSD-SA-17:10.kldstat
github.com
https://github.com/metasepi/postmortem/tree/master/Security-Advisory/FreeBSD-kernel/FreeBSD-SA-19:02.fd
github.com
https://github.com/metasepi/postmortem/tree/master/Security-Advisory/FreeBSD-kernel/FreeBSD-SA-19:14.freebsd32
github.com
https://github.com/metasepi/postmortem/tree/master/Security-Advisory/FreeBSD-kernel/FreeBSD-SA-19:15.mqueuefs
github.com
https://github.com/metasepi/postmortem/tree/master/Security-Advisory/FreeBSD-kernel/FreeBSD-SA-19:24.mqueuefs
github.com
https://github.com/metasepi/postmortem/tree/master/Security-Advisory/FreeBSD-kernel/FreeBSD-SA-20:03.thrmisc
github.com
https://github.com/metasepi/postmortem/tree/master/Security-Advisory/FreeBSD-kernel/FreeBSD-SA-20:14.sctp
github.com
https://github.com/metasepi/postmortem/tree/master/Security-Advisory/FreeBSD-kernel/FreeBSD-SA-20:20.ipv6
github.com
https://groups.google.com/g/verifast/c/vJUViRAQbkI/m/1uSJJ-VOBAAJ
groups.google.com
https://www.freebsd.org/cgi/man.cgi?query=read&sektion=2
freebsd.org
https://github.com/FStarLang/kremlin
github.com
rust
rust-lang.org
https://www.adacore.com/about-spark
adacore.com
https://ziglang.org/
ziglang.org
https://github.com/metasepi/postmortem/blob/master/Adviser.md
github.com
https://bluishcoder.co.nz/2014/04/11/preventing-heartbleed-bugs-with-safe-languages.html
bluishcoder.co.nz
Elsewhere on metasepi.org (1)