Patrick Walton@pcwalton·Apr 9, 2021Surprised and disappointed that this wasn't found earlier. Wasn't the whole point of BPF that the JIT was small enough to thoroughly audit?Quote TweetFrank @jedisct1·Apr 9, 2021[CVE-2021-29154] Linux kernel incorrect computation of branch displacements in BPF JIT compiler can be abused to execute arbitrary code in Kernel mode https://openwall.com/lists/oss-security/2021/04/08/1…516140
Graydon Hoare@graydon_pub·Apr 10, 2021Replying to @pcwaltonMemory-safe _staged_ PLs -- the final frontier!1118
Tom Schouten@tom_zwizwaReplying to @graydon_pub and @pcwaltonIs MetaOCaml still alive?1:17 AM · Apr 10, 2021·Twitter Web App1 Like
Jesper L. Andersen@jlouis666·Apr 10, 2021Replying to @tom_zwizwa @graydon_pub and @pcwaltonhttp://okmij.org/ftp/ML/MetaOCaml.html… N111 is from Oct 2020. I'd say yes.1