From mboxrd@z Thu Jan 1 00:00:00 1970 MIME-Version: 1.0 From: Chris McGee Date: Sun, 2 Sep 2018 12:31:54 -0400 Message-ID: To: Fans of the OS Plan 9 from Bell Labs <9fans@9fans.net> Content-Type: multipart/alternative; boundary="0000000000001ae9470574e5f7a4" Subject: [9fans] Is Plan 9 C "Less Dangerous?" Topicbox-Message-UUID: e01a4772-ead9-11e9-9d60-3106f5b1d025 --0000000000001ae9470574e5f7a4 Content-Type: text/plain; charset="UTF-8" Hi All, I'm reading this article about how they are going through the giant heaping pile of Linux kernel code and trying to come up with safer practices to avoid the "dangers" of C. The prevailing wisdom appears to be that things should eventually be rewritten in Rust some day. https://lwn.net/SubscriberLink/763641/c9a04da2a33af0a3/ I'm curious how the Plan 9 C compiler fits into this story. I know that it was designed to avoid many of the pitfalls of standard C. Does it try to address some of these dangers or is it focused on making code more readable so that problems are more apparent? How does everyone feel about the Plan 9/9front kernel? Have they gone through hardening/testing exercises over the years? I'm curious what tools are available to help discover bugs. Cheers, Chris --0000000000001ae9470574e5f7a4 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hi All,

I'm reading this= article about how they are going through the giant heaping pile of Linux k= ernel code and trying to come up with safer practices to avoid the "da= ngers" of C. The prevailing wisdom appears to be that things should ev= entually be rewritten in Rust some day.

https://lwn.net/S= ubscriberLink/763641/c9a04da2a33af0a3/

I'm= curious how the Plan 9 C compiler fits into this story. I know that it was= designed to avoid many of the pitfalls of standard C. Does it try to addre= ss some of these dangers or is it focused on making code more readable so t= hat problems are more apparent?

How does everyone = feel about the Plan 9/9front kernel? Have they gone through hardening/testi= ng exercises over the years? I'm curious what tools are available to he= lp discover bugs.

Cheers,
Chris
--0000000000001ae9470574e5f7a4--